Don't restore Gnome Text Editor settings

This commit is contained in:
Anthony Rose 2022-11-16 22:08:16 +00:00
parent a5ad810d53
commit 3f42749bee

View file

@ -60,6 +60,14 @@ set_gnome_terminal_preferences () {
} }
set_gnome_terminal_preferences set_gnome_terminal_preferences
set_gnome_text_editor_preferences () {
if gsettings list-schemas | grep '^org.gnome.TextEditor$' > /dev/null
then
gsettings set org.gnome.TextEditor restore-session false
fi
}
set_gnome_text_editor_preferences
set_gnome_extensions () { set_gnome_extensions () {
gnomeextcmd=/usr/bin/gnome-extensions gnomeextcmd=/usr/bin/gnome-extensions
if ! [ -x $gnomeextcmd ] if ! [ -x $gnomeextcmd ]