From 4c47d4c58a6dc0d7f7813b04f74cf9411f960b51 Mon Sep 17 00:00:00 2001 From: Evan Pratten Date: Fri, 22 Mar 2024 12:10:57 -0400 Subject: [PATCH] Update prefs on the default gnome text editor --- configs/gnome/desktop-settings.sh | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/configs/gnome/desktop-settings.sh b/configs/gnome/desktop-settings.sh index c9b2de1..61561d8 100644 --- a/configs/gnome/desktop-settings.sh +++ b/configs/gnome/desktop-settings.sh @@ -77,3 +77,13 @@ gsettings set org.gnome.mutter edge-tiling true # Enable edge tiling gsettings set org.gnome.mutter dynamic-workspaces false # Use a fixed number of workspaces gsettings set org.gnome.desktop.wm.preferences num-workspaces 4 # Use 4 workspaces gsettings set org.gnome.mutter workspaces-only-on-primary true # Only use workspaces on primary monitor + +# Gnome TextEditor settings +gsettings set org.gnome.TextEditor restore-session false # Don't open old documents on startup +gsettings set org.gnome.TextEditor show-map true # Show a minimap +gsettings set org.gnome.TextEditor spellcheck true # Enable spellcheck +gsettings set org.gnome.TextEditor wrap-text false # Disable text wrapping +gsettings set org.gnome.TextEditor highlight-current-line true # Highlight the current line +gsettings set org.gnome.TextEditor indent-style 'space' # Use spaces for indentation +gsettings set org.gnome.TextEditor indent-width 4 # Use 4 spaces for indentation +gsettings set org.gnome.TextEditor show-line-numbers true # Show line numbers