--- gnome-terminal-3.42.0.old/src/org.gnome.Terminal.gschema.xml
+++ gnome-terminal-3.42.0/src/org.gnome.Terminal.gschema.xml
@@ -135,12 +135,12 @@
Human-readable name of the profile.
- '#171421'
+ '#ffffff'
Default color of text in the terminal
Default color of text in the terminal, as a color specification (can be HTML-style hex digits, or a color name such as “red”).
- '#ffffff'
+ '#000000'
Default color of terminal background
Default color of terminal background, as a color specification (can be HTML-style hex digits, or a color name such as “red”).
@@ -230,7 +230,7 @@
- 24
+ 25
Default number of rows
Number of rows in newly created terminal windows. Has no effect if use_custom_default_size is not enabled.
@@ -281,7 +281,7 @@
If true, the value of the custom_command setting will be used in place of running a shell.
- 'system'
+ 'off'
Whether to blink the cursor
The possible values are “system” to use the global cursor blinking settings, or “on” or “off” to set the mode explicitly.
@@ -299,26 +299,18 @@
Run this command in place of the shell, if use_custom_command is true.
- ['#171421',
- '#c01c28',
- '#26a269',
- '#a2734c',
- '#12488b',
- '#a347ba',
- '#2aa1b3',
- '#d0cfcc',
- '#5e5c64',
- '#f66151',
- '#33da7a',
- '#e9ad0c',
- '#2a7bde',
- '#c061cb',
- '#33c7de',
- '#ffffff']
+
+['rgb(0,0,0)', 'rgb(205,0,0)', 'rgb(0,205,0)',
+ 'rgb(205,205,0)', 'rgb(0,0,238)', 'rgb(205,0,205)',
+ 'rgb(0,205,205)', 'rgb(229,229,229)', 'rgb(127,127,127)',
+ 'rgb(255,0,0)', 'rgb(0,255,0)', 'rgb(255,255,0)',
+ 'rgb(92,92,255)', 'rgb(255,0,255)', 'rgb(0,255,255)',
+ 'rgb(255,255,255)']
+
Palette for terminal applications
- 'Monospace 12'
+ 'Liberation Mono 17'
A Pango font name and size
@@ -330,11 +322,11 @@
The code sequence the Delete key generates
- true
+ false
Whether to use the colors from the theme for the terminal widget
- true
+ false
Whether to use the system monospace font
@@ -680,7 +672,7 @@
- 'window'
+ 'tab'
Whether to open new terminals as windows or tabs