gnome-terminal/gnome-terminal-defaults.patch

33 lines
1.2 KiB
Diff

Index: gnome-terminal-2.21.91.1/src/gnome-terminal.schemas.in
===================================================================
--- gnome-terminal-2.21.91.1.orig/src/gnome-terminal.schemas.in
+++ gnome-terminal-2.21.91.1/src/gnome-terminal.schemas.in
@@ -44,7 +44,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>
@@ -60,7 +60,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>
@@ -604,8 +604,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>
</schema>