gatuno
/
gatuno-terminal
1
0
Fork 0
Code Issues Pull Requests Releases 1 Wiki Activity

Spelling: Whitespace removed, in the terminal, Ctrl

master-1.22
Allan Nordhøy 2017-12-22 10:29:37 +01:00 committed by GitHub
parent 019042e65f
commit 770127877b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 22 additions and 22 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/org.mate.terminal.gschema.xml.in
View File

@ -67,7 +67,7 @@
<key name="active-encodings" type="as">
<default context="active-encodings" l10n="messages">[ 'UTF-8', 'current' ]</default>
<summary>List of available encodings</summary>
<description>A subset of possible encodings are presented in the Encoding submenu. This is a list of encodings to appear there. The special encoding name "current" means to display the encoding of the current locale.</description>
<description>A subset of possible encodings are presented in the "Encoding" submenu. This is a list of encodings to appear there. The special encoding name "current" means to display the encoding of the current locale.</description>
</key>
<key name="confirm-window-close" type="b">
<default>true</default>
@ -76,8 +76,8 @@
</key>
<key name="ctrl-tab-switch-tabs" type="b">
<default>false</default>
<summary>Switch tabs with [ctrl] + [tab]</summary>
<description>If true, it enables the ability to switch tabs using [ctrl + tab] and [ctrl + shift + tab].</description>
<summary>Switch tabs with [Ctrl]+[Tab]</summary>
<description>If true, it enables the ability to switch tabs using [Ctrl+Tab] and [Ctrl+Shift+Tab].</description>
</key>
</schema>
<schema id="org.mate.terminal.profiles" path="/org/mate/terminal/profiles/">
@ -318,7 +318,7 @@
<key name="paste" type="s">
<default>'&lt;Ctrl&gt;&lt;Shift&gt;v'</default>
<summary>Keyboard shortcut to paste text</summary>
<description>Keyboard shortcut key for pasting the contents of the clipboard into the terminal. Expressed as a string in the same format used for GTK+ resource files. If you set the option to the special string "disabled", then there will be no keyboard shortcut for this action.</description>
<description>Keyboard shortcut key for pasting the contents of the clipboard in the terminal. Expressed as a string in the same format used for GTK+ resource files. If you set the option to the special string "disabled", then there will be no keyboard shortcut for this action.</description>
</key>
<key name="select-all" type="s">
<default>'&lt;Ctrl&gt;&lt;Shift&gt;a'</default>