diff options
author | Matus Kral <matuskral@me.com> | 2015-05-19 07:43:52 +0200 |
---|---|---|
committer | Matus Kral <matuskral@me.com> | 2015-08-26 22:47:56 +0200 |
commit | 4cb03fb01ff489089ea1ef3cf5f29ef9c542c3fa (patch) | |
tree | 08be2e2689b5f6d72fbd7b318ddb661fabec2bdd /system/peripherals.xml | |
parent | 7169ee67da02837a00d6f834eed8ef422eb41bcb (diff) |
[CEC] change bool setting "pause playback on changing source" into
tristate option with possible settings:
1. do nothing (as was before)
2. pause playback (as was before)
3. stop video, keep playing audio
the third option is solving two things - historical demand
from users using Kodi as audio player - to use Kodi as audio station
regardless of TV power status or active source - user is controlling
Kodi by a web interface or RC App
Secondly - most of Kodi PVR clients/servers provide timeshift
feature. With Kodi pausing PVR stream timeshift recording is started
what puts unexpected pressure on users infrastructure and is wasting
resources on PVR server side.
Diffstat (limited to 'system/peripherals.xml')
-rw-r--r-- | system/peripherals.xml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/system/peripherals.xml b/system/peripherals.xml index a67dc2f251..ec3c3fe39d 100644 --- a/system/peripherals.xml +++ b/system/peripherals.xml @@ -19,7 +19,8 @@ <setting key="standby_pc_on_tv_standby" type="enum" value="13011" label="36029" order="8" lvalues="36028|13005|13011" /> <setting key="standby_tv_on_pc_standby" type="bool" value="1" label="36026" order="9" /> <setting key="use_tv_menu_language" type="bool" value="1" label="36018" order="10" /> - <setting key="pause_playback_on_deactivate" type="bool" value="1" label="36033" order="11" /> + <setting key="pause_playback_on_deactivate" type="bool" value="1" label="36033" configurable="0" /> + <setting key="pause_or_stop_playback_on_deactivate" type="enum" value="231" label="36033" order="11" lvalues="231|36044|36045" /> <setting key="connected_device" type="enum" label="36019" value="36037" lvalues="36037|36038" order="12" /> <setting key="cec_hdmi_port" type="int" value="1" min="1" max="15" label="36015" order="13" /> <setting key="physical_address" type="string" label="36021" value="0" order="14" /> |