diff options
| author | Leonard Kugis <leonardkugis@gmail.com> | 2018-01-13 22:56:35 +0100 |
|---|---|---|
| committer | Leonard Kugis <leonardkugis@gmail.com> | 2018-01-13 22:56:35 +0100 |
| commit | 97b5922a75b6f0337c2d3ae4bc62dc18347f861e (patch) | |
| tree | 9a11aa45941d35061cefd59e787e93696f5b35c7 /Release/share/glib-2.0/schemas/org.gnome.desktop.sound.gschema.xml | |
| parent | 78109333d989fa678c3c864defc4ef9d170f58ce (diff) | |
| download | mandelbrot-explorer-97b5922a75b6f0337c2d3ae4bc62dc18347f861e.tar.gz | |
Funktionierendes settings GUI
Diffstat (limited to 'Release/share/glib-2.0/schemas/org.gnome.desktop.sound.gschema.xml')
| -rw-r--r-- | Release/share/glib-2.0/schemas/org.gnome.desktop.sound.gschema.xml | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/Release/share/glib-2.0/schemas/org.gnome.desktop.sound.gschema.xml b/Release/share/glib-2.0/schemas/org.gnome.desktop.sound.gschema.xml new file mode 100644 index 0000000..fe1b715 --- /dev/null +++ b/Release/share/glib-2.0/schemas/org.gnome.desktop.sound.gschema.xml @@ -0,0 +1,20 @@ +<?xml version="1.0"?> +<schemalist> + <schema id="org.gnome.desktop.sound" path="/org/gnome/desktop/sound/"> + <key name="event-sounds" type="b"> + <default>true</default> + <summary>Sounds for events</summary> + <description>Whether to play sounds on user events.</description> + </key> + <key name="theme-name" type="s"> + <default>'freedesktop'</default> + <summary>Sound theme name</summary> + <description>The XDG sound theme to use for event sounds.</description> + </key> + <key name="input-feedback-sounds" type="b"> + <default>false</default> + <summary>Input feedback sounds</summary> + <description>Whether to play sounds on input events.</description> + </key> + </schema> +</schemalist> |