summaryrefslogtreecommitdiff
path: root/public/vendor/codemirror/mode/webidl/index.html
diff options
context:
space:
mode:
Diffstat (limited to 'public/vendor/codemirror/mode/webidl/index.html')
-rw-r--r--public/vendor/codemirror/mode/webidl/index.html71
1 files changed, 0 insertions, 71 deletions
diff --git a/public/vendor/codemirror/mode/webidl/index.html b/public/vendor/codemirror/mode/webidl/index.html
deleted file mode 100644
index 1d4112e1..00000000
--- a/public/vendor/codemirror/mode/webidl/index.html
+++ /dev/null
@@ -1,71 +0,0 @@
-<!doctype html>
-
-<title>CodeMirror: Web IDL mode</title>
-<meta charset="utf-8">
-<link rel="stylesheet" href="../../doc/docs.css">
-<link rel="stylesheet" href="../../lib/codemirror.css">
-<script src="../../lib/codemirror.js"></script>
-<script src="../../addon/edit/matchbrackets.js"></script>
-<script src="webidl.js"></script>
-<style type="text/css">.CodeMirror {border-top: 1px solid black; border-bottom: 1px solid black;}</style>
-
-<div id="nav">
- <a href="http://codemirror.net"><h1>CodeMirror</h1><img id="logo" src="../../doc/logo.png"></a>
-
- <ul>
- <li><a href="../../index.html">Home</a>
- <li><a href="../../doc/manual.html">Manual</a>
- <li><a href="https://github.com/codemirror/codemirror">Code</a>
- </ul>
- <ul>
- <li><a href="../index.html">Language modes</a>
- <li><a class="active" href="#">Web IDL</a>
- </ul>
-</div>
-
-<article>
- <h2>Web IDL mode</h2>
-
- <div>
-<textarea id="code" name="code">
-[NamedConstructor=Image(optional unsigned long width, optional unsigned long height)]
-interface HTMLImageElement : HTMLElement {
- attribute DOMString alt;
- attribute DOMString src;
- attribute DOMString srcset;
- attribute DOMString sizes;
- attribute DOMString? crossOrigin;
- attribute DOMString useMap;
- attribute boolean isMap;
- attribute unsigned long width;
- attribute unsigned long height;
- readonly attribute unsigned long naturalWidth;
- readonly attribute unsigned long naturalHeight;
- readonly attribute boolean complete;
- readonly attribute DOMString currentSrc;
-
- // also has obsolete members
-};
-
-partial interface HTMLImageElement {
- attribute DOMString name;
- attribute DOMString lowsrc;
- attribute DOMString align;
- attribute unsigned long hspace;
- attribute unsigned long vspace;
- attribute DOMString longDesc;
-
- [TreatNullAs=EmptyString] attribute DOMString border;
-};
-</textarea>
- </div>
-
- <script>
- var editor = CodeMirror.fromTextArea(document.getElementById("code"), {
- lineNumbers: true,
- matchBrackets: true
- });
- </script>
-
- <p><strong>MIME type defined:</strong> <code>text/x-webidl</code>.</p>
-</article>