gnome-terminal/gnome-terminal-defaults.patch

31 lines
1.1 KiB
Diff

--- gnome-terminal-2.12.0/src/gnome-terminal.schemas
+++ gnome-terminal-2.12.0/src/gnome-terminal.schemas
@@ -634,7 +634,7 @@
<applyto>/apps/gnome-terminal/global/use_mnemonics</applyto>
<owner>gnome-terminal</owner>
<type>bool</type>
- <default>true</default>
+ <default>false</default>
<locale name="C">
<short>Whether the menubar has access keys</short>
<long>
@@ -915,7 +915,7 @@
<applyto>/apps/gnome-terminal/global/use_menu_accelerators</applyto>
<owner>gnome-terminal</owner>
<type>bool</type>
- <default>true</default>
+ <default>false</default>
<locale name="C">
<short>Whether the standard GTK shortcut for menubar access is enabled</short>
<long>
@@ -11184,8 +11184,7 @@
<short>Whether to use the system font</short>
<long>
If true, the terminal will use the desktop-global standard
- font if it's monospace (and the most similar font it can
- come up with otherwise).
+ terminal font.
</long>
</locale>