--- gnome-terminal-3.56.2.old/src/org.gnome.Terminal.gschema.xml +++ gnome-terminal-3.56.2/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”). @@ -231,7 +231,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. @@ -287,7 +287,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. @@ -305,26 +305,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', - '#33d17a', - '#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 Monospace 17' A Pango font name and size @@ -336,11 +328,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 @@ -686,7 +678,7 @@ - 'window' + 'tab' Whether to open new terminals as windows or tabs ==== end of patch ====