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 /addons | |
| 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 'addons')
| -rw-r--r-- | addons/resource.language.en_gb/resources/strings.po | 11 |
1 files changed, 2 insertions, 9 deletions
diff --git a/addons/resource.language.en_gb/resources/strings.po b/addons/resource.language.en_gb/resources/strings.po index 97c2286ee2..82de09fbec 100644 --- a/addons/resource.language.en_gb/resources/strings.po +++ b/addons/resource.language.en_gb/resources/strings.po @@ -10302,11 +10302,7 @@ msgctxt "#19228" msgid "Timer deleted" msgstr "" -#. label for PVR settings close channel OSD after channel switch control -#: system/settings/settings.xml -msgctxt "#19229" -msgid "Close channel OSD after switching channels" -msgstr "" +#empty string with id 19229 #. label for PVR settings no epg updates during playback control #: system/settings/settings.xml @@ -18029,10 +18025,7 @@ msgctxt "#36213" msgid "Open the group manager, which allows modification of groups and their respective channels" msgstr "" -#: system/settings/settings.xml -msgctxt "#36214" -msgid "Close the on screen display controls after switching channels." -msgstr "" +#empty string with id 36214 #. Description of setting with label #14110 "Long date format" #: system/settings/settings.xml |