diff options
author | Lukas Rusak <lorusak@gmail.com> | 2019-05-13 19:40:21 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-05-13 19:40:21 -0700 |
commit | 7fc74288c520b7c44eddc17afac8d5cac7dd27c4 (patch) | |
tree | a26c5ce49794f0514e397115419d532a77e0610d /system | |
parent | 18204c0200675a62308a7155f5445e141dfe76c3 (diff) | |
parent | 60f93858ec7eb6d94c60d64c2a1aa905d41fee1f (diff) |
Merge pull request #16088 from lrusak/drmprime-setting-split
settings: allow setting the DRMPRIME renderer without having the DRMPRIME decoder enabled
Diffstat (limited to 'system')
-rw-r--r-- | system/settings/gbm.xml | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/system/settings/gbm.xml b/system/settings/gbm.xml index c5e4d98e0b..939ca12ba2 100644 --- a/system/settings/gbm.xml +++ b/system/settings/gbm.xml @@ -17,11 +17,6 @@ </setting> <setting id="videoplayer.useprimerenderer" type="integer" label="13462" help="13463"> <visible>false</visible> - <dependencies> - <dependency type="enable"> - <condition setting="videoplayer.useprimedecoder" operator="is">true</condition> - </dependency> - </dependencies> <level>2</level> <default>0</default> <constraints> |