diff options
| author | Tanu Kaskinen <tanuk@iki.fi> | 2018-04-17 09:07:34 +0300 |
|---|---|---|
| committer | Tanu Kaskinen <tanuk@iki.fi> | 2018-04-19 14:38:10 +0300 |
| commit | d7a457eaedfa04be792f869379f61623e36539e6 (patch) | |
| tree | ae82f1cdfcc155240b811e4185b54950db559da9 | |
| parent | b43d47f0051a6f9c17452c56c73d69d9e96b338a (diff) | |
| download | pulseaudio-d7a457eaedfa04be792f869379f61623e36539e6.tar.gz | |
gsettings: add the modules schema to the schema description file
Originally the idea was to provide the "modules" schema with paprefs,
but since module-gsettings refers to the "modules" schema in its code,
that would make module-gsettings depend on paprefs, which is not good.
Now all schemas are provided by module-gsettings, so the paprefs
dependency is avoided. Unfortunately this means that if paprefs is
modified to load some new modules, the schema in pulseaudio needs to be
updated as well.
| -rw-r--r-- | src/modules/gsettings/org.freedesktop.pulseaudio.gschema.xml | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/modules/gsettings/org.freedesktop.pulseaudio.gschema.xml b/src/modules/gsettings/org.freedesktop.pulseaudio.gschema.xml index 8e2302ccb..644e77bda 100644 --- a/src/modules/gsettings/org.freedesktop.pulseaudio.gschema.xml +++ b/src/modules/gsettings/org.freedesktop.pulseaudio.gschema.xml @@ -1,4 +1,14 @@ <schemalist gettext-domain="pulseaudio"> + <schema id="org.freedesktop.pulseaudio.modules" path="/org/freedesktop/pulseaudio/modules/"> + <child name="combine" schema="org.freedesktop.pulseaudio.module"/> + <child name="remote-access" schema="org.freedesktop.pulseaudio.module"/> + <child name="zeroconf-discover" schema="org.freedesktop.pulseaudio.module"/> + <child name="raop-discover" schema="org.freedesktop.pulseaudio.module"/> + <child name="rtp-recv" schema="org.freedesktop.pulseaudio.module"/> + <child name="rtp-send" schema="org.freedesktop.pulseaudio.module"/> + <child name="upnp-media-server" schema="org.freedesktop.pulseaudio.module"/> + </schema> + <schema id="org.freedesktop.pulseaudio.module"> <key name="name" type="s"> <default>''</default> |