diff options
| author | Kai Sommerfeld <kai.sommerfeld@gmx.com> | 2015-12-09 12:15:20 +0100 |
|---|---|---|
| committer | Kai Sommerfeld <kai.sommerfeld@gmx.com> | 2015-12-09 23:12:16 +0100 |
| commit | 69a07dd08ef213c0bf5bfd38324ef4b8315f07ce (patch) | |
| tree | fb72164fd038a20b7436e7e01e0f5cda04ac01c7 /system | |
| parent | 402dea45efbc7e3c3f678086ef610a7c2a429596 (diff) | |
[PVR] Add option to hide disabled timers in timer window.
Diffstat (limited to 'system')
| -rw-r--r-- | system/settings/settings.xml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/system/settings/settings.xml b/system/settings/settings.xml index 53b7936876..d30c0309ed 100644 --- a/system/settings/settings.xml +++ b/system/settings/settings.xml @@ -1632,6 +1632,10 @@ <level>4</level> <default>true</default> </setting> + <setting id="pvrtimers.hidedisabledtimers" type="boolean" label="" help=""> + <default>false</default> + <level>4</level> + </setting> </group> </category> </section> |