summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-07 18:03:15 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-07 18:03:15 +0000
commitf36c0fe693138df97bae946a1eac5ce4e6901fea (patch)
tree3fa5b409e4cd85a4524427b47d9f01827618462c
parentOverriding use-theme-colors to true in org.gnome.Terminal.Legacy.Profile. (diff)
downloadgnome-terminal-f36c0fe693138df97bae946a1eac5ce4e6901fea.tar.xz
gnome-terminal-f36c0fe693138df97bae946a1eac5ce4e6901fea.zip
Overriding always-check-default-terminal to false in org.gnome.Terminal.Legacy.Settings.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
-rw-r--r--debian/gnome-terminal.gsettings-override1
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/gnome-terminal.gsettings-override b/debian/gnome-terminal.gsettings-override
index bf2cbed..c901ddd 100644
--- a/debian/gnome-terminal.gsettings-override
+++ b/debian/gnome-terminal.gsettings-override
@@ -10,4 +10,5 @@ scrollback-unlimited=true
use-theme-colors=false
[org.gnome.Terminal.Legacy.Settings]
+always-check-default-terminal=false
unified-menu=false