mirror of
https://projects.vdr-developer.org/git/vdr-plugin-skindesigner.git
synced 2023-10-19 17:58:31 +02:00
34 lines
1.4 KiB
XML
34 lines
1.4 KiB
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<!DOCTYPE setup SYSTEM "../../dtd/setup.dtd">
|
|
|
|
<setup>
|
|
<!--
|
|
define all your parameters here which should be configurable via
|
|
OSD and the skindesigner setup menu.
|
|
Parameters must have type "bool" or "integer". For "bool" Parameters
|
|
a choice yes/no is shown in the setup menu, a "integer" parameter
|
|
can be configured to a value between "min" and "max". If "min" is not
|
|
set, "0" is the minimum, if "max" is not set, "1000" is maximum.
|
|
"displayname" is used to display the option in the setup menu.
|
|
The configured parameter value is the default value.
|
|
-->
|
|
<parameters>
|
|
<parameter type="int" name="fadetime" min="0" max="1000" displaytext="{tr(fadetext)}">0</parameter>
|
|
<parameter type="bool" name="showdevices" displaytext="{tr(showdevices)}">0</parameter>
|
|
</parameters>
|
|
|
|
<!--
|
|
translations of displaytexts
|
|
-->
|
|
<translations>
|
|
<token name="tr(fadetext)">
|
|
<trans lang="en_EN">Fade time in ms (needs VDR restart)</trans>
|
|
<trans lang="de_DE">Einblendzeit in ms (erfordert VDR Neustart)</trans>
|
|
</token>
|
|
<token name="tr(showdevices)">
|
|
<trans lang="en_EN">Show DVB device info when switching channel</trans>
|
|
<trans lang="de_DE">DVB Karten Info beim Umschalten anzeigen</trans>
|
|
</token>
|
|
</translations>
|
|
</setup>
|