diff options
| author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-07 18:03:15 +0000 |
|---|---|---|
| committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-07 18:03:15 +0000 |
| commit | f36c0fe693138df97bae946a1eac5ce4e6901fea (patch) | |
| tree | 3fa5b409e4cd85a4524427b47d9f01827618462c /debian | |
| parent | Overriding use-theme-colors to true in org.gnome.Terminal.Legacy.Profile. (diff) | |
| download | gnome-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>
Diffstat (limited to '')
| -rw-r--r-- | debian/gnome-terminal.gsettings-override | 1 |
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 |