File gnome-terminal-defaults.patch of Package gnome-terminal

Overview Repositories Revisions Requests Users Attributes Meta

File gnome-terminal-defaults.patch of Package gnome-terminal (Revision 13a7bf95e87620a5bf82ea9e1a5e983e)

Currently displaying revision 13a7bf95e87620a5bf82ea9e1a5e983e , Show latest

--- 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>

Places

File gnome-terminal-defaults.patch of Package gnome-terminal (Revision 13a7bf95e87620a5bf82ea9e1a5e983e)

Places