diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-07 18:02:09 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-07 18:02:09 +0000 |
commit | 0f7ab3dc0ed5cfddfc3002992f0525756b6b670e (patch) | |
tree | 4f520e757f99f136e01abe1dd2e0d1fad5c3cd11 /src/external.gschema.xml | |
parent | Initial commit. (diff) | |
download | gnome-terminal-0f7ab3dc0ed5cfddfc3002992f0525756b6b670e.tar.xz gnome-terminal-0f7ab3dc0ed5cfddfc3002992f0525756b6b670e.zip |
Adding upstream version 3.46.8.upstream/3.46.8upstream
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'src/external.gschema.xml')
-rw-r--r-- | src/external.gschema.xml | 143 |
1 files changed, 143 insertions, 0 deletions
diff --git a/src/external.gschema.xml b/src/external.gschema.xml new file mode 100644 index 0000000..79c3166 --- /dev/null +++ b/src/external.gschema.xml @@ -0,0 +1,143 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!-- + Copyright © 2021 Christian Persch + + This program is free software: you can redistribute it and/or modify + it under the terms of the GNU General Public License as published by + the Free Software Foundation, either version 3 of the License, or + (at your option) any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program. If not, see <http://www.gnu.org/licenses/>. +--> +<schemalist> + + <!-- From gsettings-desktop-schemas --> + + <schema id="org.gnome.desktop.interface" + gettext-domain="gsettings-desktop-schemas" + path="/org/gnome/desktop/interface/"> + <key name="monospace-font-name" + type="s"> + <default>'DejaVu Sans Mono 10'</default> + </key> + </schema> + + <enum id="org.gnome.desktop.GDesktopProxyMode"> + <value nick="none" + value="0"/> + <value nick="manual" + value="1"/> + <value nick="auto" + value="2"/> + </enum> + + <schema id="org.gnome.system.proxy.http" + gettext-domain="gsettings-desktop-schemas" + path="/system/proxy/http/"> + <key name="host" + type="s"> + <default>''</default> + </key> + <key name="port" + type="i"> + <range min="0" + max="65535" /> + <default>8080</default> + </key> + <key name="use-authentication" + type="b"> + <default>false</default> + </key> + <key name="authentication-user" + type="s"> + <default>''</default> + </key> + <key name="authentication-password" + type="s"> + <default>''</default> + </key> + </schema> + + <schema id="org.gnome.system.proxy.https" + gettext-domain="gsettings-desktop-schemas" + path="/system/proxy/https/"> + <key name="host" + type="s"> + <default>''</default> + </key> + <key name="port" + type="i"> + <range min="0" + max="65535" /> + <default>0</default> + </key> + </schema> + + <schema id="org.gnome.system.proxy.ftp" + gettext-domain="gsettings-desktop-schemas" + path="/system/proxy/ftp/"> + <key name="host" + type="s"> + <default>''</default> + </key> + <key name="port" + type="i"> + <range min="0" + max="65535" /> + <default>0</default> + </key> + </schema> + + <schema id="org.gnome.system.proxy.socks" + gettext-domain="gsettings-desktop-schemas" + path="/system/proxy/socks/"> + <key name="host" + type="s"> + <default>''</default> + </key> + <key name="port" + type="i"> + <range min="0" + max="65535" /> + <default>0</default> + </key> + </schema> + + <schema id="org.gnome.system.proxy" + gettext-domain="gsettings-desktop-schemas" + path="/system/proxy/"> + <child name="http" + schema="org.gnome.system.proxy.http" /> + <child name="https" + schema="org.gnome.system.proxy.https" /> + <child name="ftp" + schema="org.gnome.system.proxy.ftp" /> + <child name="socks" + schema="org.gnome.system.proxy.socks" /> + <key name="mode" + enum="org.gnome.desktop.GDesktopProxyMode"> + <default>'none'</default> + </key> + <key name="ignore-hosts" + type="as"> + <default>['localhost', '127.0.0.0/8', '::1']</default> + </key> + </schema> + + <!-- From gtk+ --> + + <schema id="org.gtk.Settings.Debug" + path="/org/gtk/settings/debug/"> + <key name="enable-inspector-keybinding" + type="b"> + <default>false</default> + </key> + </schema> + +</schemalist> |