convert="invert"/>
<number id="timewarp" type="slider" arg="-timewarp %"
_label="Time Warp" _low-label="Real Time" _high-label="Fast"
convert="invert"/>
<number id="timewarp" type="slider" arg="-timewarp %"
_label="Time Warp" _low-label="Real Time" _high-label="Fast"
<option id="sun" _label="From Sun"/>
<option id="mercury" _label="From Mercury" arg-set="-origin mercury"/>
<option id="venus" _label="From Venus" arg-set="-origin venus"/>
<option id="sun" _label="From Sun"/>
<option id="mercury" _label="From Mercury" arg-set="-origin mercury"/>
<option id="venus" _label="From Venus" arg-set="-origin venus"/>
<option id="moon" _label="From Moon" arg-set="-origin moon"/>
<option id="mars" _label="From Mars" arg-set="-origin mars"/>
<option id="phobos" _label="From Phobos" arg-set="-origin phobos"/>
<option id="moon" _label="From Moon" arg-set="-origin moon"/>
<option id="mars" _label="From Mars" arg-set="-origin mars"/>
<option id="phobos" _label="From Phobos" arg-set="-origin phobos"/>