OLD | NEW |
1 // Up-to-date as of 2013-04-09. | 1 // Up-to-date as of 2013-04-09. |
2 var miscElements = { | 2 var miscElements = { |
3 // "The root element" section | 3 // "The root element" section |
4 html: { | 4 html: { |
5 // Obsolete | 5 // Obsolete |
6 version: "string", | 6 version: "string", |
7 }, | 7 }, |
8 | 8 |
9 // "Scripting" section | 9 // "Scripting" section |
10 script: { | 10 script: { |
(...skipping 23 matching lines...) Expand all Loading... |
34 dateTime: "string", | 34 dateTime: "string", |
35 }, | 35 }, |
36 | 36 |
37 // "Interactive elements" section | 37 // "Interactive elements" section |
38 details: { | 38 details: { |
39 open: "boolean", | 39 open: "boolean", |
40 }, | 40 }, |
41 summary: {}, | 41 summary: {}, |
42 menu: { | 42 menu: { |
43 // Conforming | 43 // Conforming |
44 //TODO: check that missing value default is popup if parent's type is popup | 44 //TODO: check that missing value default is context if parent's type is cont
ext |
45 type: {type: "enum", keywords:["popup", "toolbar"], defaultVal: "toolbar"}, | 45 type: {type: "enum", keywords:["context", "toolbar"], defaultVal: "toolbar"}
, |
46 label: "string", | 46 label: "string", |
47 | 47 |
48 // Obsolete | 48 // Obsolete |
49 compact: "boolean", | 49 compact: "boolean", |
50 }, | 50 }, |
51 menuitem: { | 51 menuitem: { |
52 type: {type: "enum", keywords: ["command", "checkbox", "radio"], defaultVal:
"command"}, | 52 type: {type: "enum", keywords: ["command", "checkbox", "radio"], defaultVal:
"command"}, |
53 label: "string", | 53 label: "string", |
54 icon: "url", | 54 icon: "url", |
55 disabled: "boolean", | 55 disabled: "boolean", |
56 checked: "boolean", | 56 checked: "boolean", |
57 radiogroup: "string", | 57 radiogroup: "string", |
58 "default": "boolean", | 58 "default": "boolean", |
59 }, | 59 }, |
60 dialog: { | 60 dialog: { |
61 open: "boolean", | 61 open: "boolean", |
62 }, | 62 }, |
63 | 63 |
64 // Global attributes should exist even on unknown elements | 64 // Global attributes should exist even on unknown elements |
65 undefinedelement: {}, | 65 undefinedelement: {}, |
66 }; | 66 }; |
67 | 67 |
68 mergeElements(miscElements); | 68 mergeElements(miscElements); |
OLD | NEW |