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