diff options
| author | Leonard Kugis <leonardkugis@gmail.com> | 2018-01-23 01:08:38 +0100 |
|---|---|---|
| committer | Leonard Kugis <leonardkugis@gmail.com> | 2018-01-23 01:08:38 +0100 |
| commit | 8e5bc917659288a257d5de9827458039f5498ef5 (patch) | |
| tree | 23adb70c5e1e8b7aa53f9a604f21987ba89d15a4 /Release/share/glib-2.0/schemas/org.gnome.desktop.sound.gschema.xml | |
| parent | fe610572ba73898ce159fb70b9fa9a4cccffd331 (diff) | |
OpenGL rendering added, cleaned up paths
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, 0 insertions, 20 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 deleted file mode 100644 index fe1b715..0000000 --- a/Release/share/glib-2.0/schemas/org.gnome.desktop.sound.gschema.xml +++ /dev/null @@ -1,20 +0,0 @@ -<?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> |