annotate etc/dvb-menu.conf @ 36214:fc128e175f72

Fully uninitialize EGL. Unfortunately that doesn't seem to help against the insane number of memory leaks reported inside MESA EGL by valgrind.
author reimar
date Sun, 09 Jun 2013 10:13:08 +0000
parents 32725ca88fed
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
10615
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
1
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
2 <txt name="man" file="manpage.txt"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
3
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
4 <filesel name="open_file"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
5 <filesel name="open_list" file-action="loadlist '%p'" auto-close="yes"
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
6 title="Open a playlist: %p" />
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
7
25958
8ec0102875f2 Translate stray Italian term.
diego
parents: 20866
diff changeset
8 <dvbsel title="Channel List" name="dvbsel" />
10615
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
9
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
10
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
11 <pt name="jump_to"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
12
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
13 <console name="console0" height="80" vspace="0">Welcome to MPlayer</console>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
14
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
15 <txt name="man" file="manpage.txt"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
16
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
17 <pref name="general_pref" title="General">
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
18 <e name="autoq"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
19 <e name="autosync" />
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
20 <e name="framedrop"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
21 <e name="quiet"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
22 <e name="softsleep" />
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
23 </pref>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
24
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
25 <pref name="demuxer_pref" title="Demuxer">
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
26 <e name="aid"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
27 <e name="alang" />
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
28 <e name="cache"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
29 <e name="channels"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
30 <e name="dvdangle" />
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
31 <e name="forceidx"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
32 <e name="fps"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
33 <e name="hr-mp3-seek"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
34 <e name="idx"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
35 <e name="mc"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
36 <e name="ni"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
37 <e name="nobps"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
38 <e name="srate"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
39 <e name="vid"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
40 </pref>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
41
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
42
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
43 <pref name="osd_sub_pref" title="OSD & Subs">
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
44 <e name="ffactor"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
45 <e name="noautosub"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
46 <e name="osdlevel"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
47 <e name="sid"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
48 <e name="slang"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
49 <e name="subdelay"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
50 <e name="subfps"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
51 <e name="subpos"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
52 <e name="unicode"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
53 <e name="utf8"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
54 <e name="vobsubid"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
55 </pref>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
56
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
57 <pref name="audio_pref" title="Audio">
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
58 <e name="abs"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
59 <e name="af"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
60 <e name="ao"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
61 <e name="delay"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
62 <e name="mixer"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
63 </pref>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
64
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
65 <pref name="video_pref" title="Video">
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
66 <e name="bpp"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
67 <e name="brightness"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
68 <e name="contrast"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
69 <e name="display"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
70 <e name="double"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
71 <e name="dr"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
72 <e name="fs"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
73 <e name="geometry"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
74 <e name="hue"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
75 <e name="icelayer"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
76 <e name="noslices"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
77 <e name="panscan"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
78 <e name="rootwin"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
79 <e name="saturation"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
80 <e name="vm"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
81 <e name="vo"/>
20866
6129652b8ecd vop --> vf
diego
parents: 14298
diff changeset
82 <e name="vf"/>
10615
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
83 <e name="xineramascreen"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
84 </pref>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
85
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
86
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
87 <cmdlist name="pref_main" title="Preferences" ptr="<>" >
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
88 <e name="General ..." ok="set_menu general_pref"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
89 <e name="Demuxer ..." ok="set_menu demuxer_pref"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
90 <e name="Osd/Subtitles ..." ok="set_menu osd_sub_pref"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
91 <e name="Audio ..." ok="set_menu audio_pref"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
92 <e name="Video ..." ok="set_menu video_pref"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
93 </cmdlist>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
94
12905
55f9092a1e19 We're long past 0.90.
diego
parents: 10615
diff changeset
95 <cmdlist name="main" title="MPlayer OSD menu" ptr="<>" >
10615
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
96 <e name="Pause" ok="pause"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
97 <e name="Prev/Next" ok="pt_step 1" cancel="pt_step -1"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
98 <e name="Jump to ..." ok="set_menu jump_to"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
99 <e name="Open ..." ok="set_menu open_file"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
100 <e name="Open playlist ..." ok="set_menu open_list"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
101 <e name="DVB" ok="set_menu dvbsel"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
102 <e name="Help" ok="set_menu man"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
103 <e name="Pref" ok="set_menu pref_main"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
104 <e name="Console" ok="set_menu console0"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
105 <e name="Quit" ok="quit"/>
65226e2ea605 DVB input documentation by Nico <nsabbi@libero.it> with some changes by me.
diego
parents:
diff changeset
106 </cmdlist>