annotate DOCS/xml/default.css @ 35173:95ad1e516f03

mp_property_deinterlace: Signalize control() failure Always having to do a GET after a SET to check if the state was really changed, seems not very friendly from the perspective of the client application that changes the property. Return M_PROPERTY_UNAVAILABLE to signalize that the control() was not positively consumed by the filter/vo chain. Based on a patch by Vicente Sendra >visenri yahoo.es<
author al
date Thu, 25 Oct 2012 18:26:45 +0000
parents 0ad2da052b2e
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
9674
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
1 body {
30990
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
2 color: black;
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
3 background: white;
9674
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
4
30990
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
5 font-family: Arial, Helvetica, sans-serif;
9674
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
6 /*
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
7 * It's a Bad Idea(tm) to use fixed font sizes.
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
8 * Uncomment it if you _really_ want
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
9 */
30990
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
10 font-size: 14px;
9674
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
11 }
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
12
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
13 div.table table, div.informaltable table {
30990
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
14 background: #333366;
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
15 border-collapse: separate;
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
16 border: solid 1px #333366;
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
17 border-spacing: 1px;
9674
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
18 }
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
19
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
20 div.table th, div.informaltable th {
30990
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
21 color: white;
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
22 background: #4488cc;
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
23 border: 0px;
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
24 padding: 2px;
9674
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
25 }
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
26
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
27 div.table td, div.informaltable td {
30990
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
28 background: #fffff8;
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
29 border: 0px;
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
30 padding: 2px;
9674
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
31 }
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
32
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
33
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
34 pre.screen {
30990
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
35 padding: 4px;
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
36 background: #e0e0e0;
9674
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
37 }
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
38
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
39 pre.programlisting {
30990
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
40 padding: 4px;
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
41 background: #e0e8f0;
9674
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
42 }
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
43
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
44 /*
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
45 span.application {
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
46 }
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
47 */
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
48
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
49 span.keycap {
30990
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
50 background: #ddd;
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
51 border: solid 1px #aaa;
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
52 white-space: nowrap;
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
53 font-family: Arial, Helvetica, sans-serif;
9674
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
54 }
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
55
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
56 span.guimenu, span.guisubmenu, span.guimenuitem {
30990
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
57 background: #dddddd;
9674
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
58 }
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
59
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
60 tt.filename {
30990
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
61 color: maroon;
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
62 white-space: nowrap;
9674
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
63 }
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
64
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
65 tt.option {
30990
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
66 color: #066;
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
67 white-space: nowrap;
9674
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
68 }
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
69
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
70 div.example {
30990
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
71 padding-left: 0.5em;
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
72 border-left: solid 2px black;
9674
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
73 }
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
74
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
75 div.important .title, div.caution .title, div.warning .title {
30990
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
76 color: #c00;
9674
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
77 }
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
78 /*
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
79 div.important, div.warning, div.caution {
30990
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
80 padding-left: 0.5em;
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
81 border-left: solid 2px maroon;
9674
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
82 }
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
83 */