Integrate basic web server functionality into player

This commit is contained in:
Rafostar
2020-12-11 23:38:49 +01:00
parent 26f8b6994e
commit d5d5aa9bac
3 changed files with 60 additions and 0 deletions

View File

@@ -49,6 +49,16 @@
<summary>The subtitles font description</summary>
</key>
<!-- Network -->
<key name="webserver-enabled" type="b">
<default>false</default>
<summary>Enable WebSocket server for remote playback control</summary>
</key>
<key name="webserver-port" type="i">
<default>6446</default>
<summary>Listening port to use for incoming WebSocket connections</summary>
</key>
<!-- Tweaks -->
<key name="dark-theme" type="b">
<default>true</default>