diff options
| author | Kai Sommerfeld <kai.sommerfeld@gmx.com> | 2017-12-22 23:55:04 +0100 |
|---|---|---|
| committer | Kai Sommerfeld <kai.sommerfeld@gmx.com> | 2017-12-23 16:24:06 +0100 |
| commit | 72c707a0040daad9a39794a1695180e60288e1f9 (patch) | |
| tree | a4bcdf8f1ae374934ed5e45c8e8d6af4ed6a2c95 /system | |
| parent | e13685ae6fc5697b8b7b33a94d466ae36febc1b5 (diff) | |
[PVR] Make shared channel selection optional.
Diffstat (limited to 'system')
| -rwxr-xr-x | system/settings/settings.xml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/system/settings/settings.xml b/system/settings/settings.xml index f4fbbbe3b0..4cfdaecc1f 100755 --- a/system/settings/settings.xml +++ b/system/settings/settings.xml @@ -1275,6 +1275,11 @@ <section id="pvr" label="14204" help="36201"> <category id="pvrmanager" label="128" help="36202"> <group id="1" label="14301"> + <setting id="pvrmanager.preselectplayingchannel" type="boolean" label="19269" help="36214"> + <level>1</level> + <default>false</default> + <control type="toggle" /> + </setting> <setting id="pvrmanager.syncchannelgroups" type="boolean" label="19221" help="36204"> <level>1</level> <default>true</default> |