diff options
| author | Kai Sommerfeld <kai.sommerfeld@gmx.com> | 2017-08-10 14:24:47 +0200 |
|---|---|---|
| committer | Kai Sommerfeld <kai.sommerfeld@gmx.com> | 2017-08-11 10:25:47 +0200 |
| commit | 0b6dd86f5eff031930364a8dcf0e92479f2cec49 (patch) | |
| tree | b3bff10211cc2ba81289b21d9e1184dba901af7d /system/settings | |
| parent | 598207e1ac0db756bb46b7cf9568b0a7eff148a1 (diff) | |
[PVR][settings] Remove unused setting pvrmenu.closechannelosdonswitch. This was never implemented and it makes no sense to implement 'keep info display open forever on channel switch'. This would just be annoying.
Diffstat (limited to 'system/settings')
| -rwxr-xr-x | system/settings/settings.xml | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/system/settings/settings.xml b/system/settings/settings.xml index c5b75215d0..9a0530f71c 100755 --- a/system/settings/settings.xml +++ b/system/settings/settings.xml @@ -1280,11 +1280,6 @@ <formatlabel>14045</formatlabel> </control> </setting> - <setting id="pvrmenu.closechannelosdonswitch" type="boolean" label="19229" help="36214"> - <level>2</level> - <default>true</default> - <control type="toggle" /> - </setting> </group> <group id="2" label="14302"> <setting id="pvrmenu.iconpath" type="path" label="19018" help="36216"> |