annotate .cms/lib/codemirror/mode/webidl/index.html @ 1:1d486627aa1e draft default tip

24.10
author Coffee CMS <info@coffee-cms.ru>
date Sat, 12 Oct 2024 02:51:39 +0000
parents 78edf6b517a0
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
1 <!doctype html>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
2
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
3 <title>CodeMirror: Web IDL mode</title>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
4 <meta charset="utf-8">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
5 <link rel="stylesheet" href="../../doc/docs.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
6 <link rel="stylesheet" href="../../lib/codemirror.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
7 <script src="../../lib/codemirror.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
8 <script src="../../addon/edit/matchbrackets.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
9 <script src="webidl.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
10 <style>.CodeMirror {border-top: 1px solid black; border-bottom: 1px solid black;}</style>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
11
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
12 <div id="nav">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
13 <a href="https://codemirror.net/5"><h1>CodeMirror</h1><img id="logo" src="../../doc/logo.png"></a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
14
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
15 <ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
16 <li><a href="../../index.html">Home</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
17 <li><a href="../../doc/manual.html">Manual</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
18 <li><a href="https://github.com/codemirror/codemirror5">Code</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
19 </ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
20 <ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
21 <li><a href="../index.html">Language modes</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
22 <li><a class="active" href="#">Web IDL</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
23 </ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
24 </div>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
25
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
26 <article>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
27 <h2>Web IDL mode</h2>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
28
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
29 <div>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
30 <textarea id="code" name="code">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
31 [NamedConstructor=Image(optional unsigned long width, optional unsigned long height)]
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
32 interface HTMLImageElement : HTMLElement {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
33 attribute DOMString alt;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
34 attribute DOMString src;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
35 attribute DOMString srcset;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
36 attribute DOMString sizes;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
37 attribute DOMString? crossOrigin;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
38 attribute DOMString useMap;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
39 attribute boolean isMap;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
40 attribute unsigned long width;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
41 attribute unsigned long height;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
42 readonly attribute unsigned long naturalWidth;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
43 readonly attribute unsigned long naturalHeight;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
44 readonly attribute boolean complete;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
45 readonly attribute DOMString currentSrc;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
46
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
47 // also has obsolete members
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
48 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
49
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
50 partial interface HTMLImageElement {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
51 attribute DOMString name;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
52 attribute DOMString lowsrc;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
53 attribute DOMString align;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
54 attribute unsigned long hspace;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
55 attribute unsigned long vspace;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
56 attribute DOMString longDesc;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
57
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
58 [TreatNullAs=EmptyString] attribute DOMString border;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
59 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
60 </textarea>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
61 </div>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
62
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
63 <script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
64 var editor = CodeMirror.fromTextArea(document.getElementById("code"), {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
65 lineNumbers: true,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
66 matchBrackets: true
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
67 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
68 </script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
69
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
70 <p><strong>MIME type defined:</strong> <code>text/x-webidl</code>.</p>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
71 </article>