golden hour
/home/phakp/public_html/formtools/global/codemirror/demo
⬆️ Go Up
Upload
File/Folder
Size
Actions
activeline.html
3.16 KB
Del
OK
anywordhint.html
2.62 KB
Del
OK
bidi.html
4.81 KB
Del
OK
btree.html
2.89 KB
Del
OK
buffers.html
3.48 KB
Del
OK
changemode.html
1.68 KB
Del
OK
closebrackets.html
1.64 KB
Del
OK
closetag.html
1.26 KB
Del
OK
complete.html
4.19 KB
Del
OK
emacs.html
2.42 KB
Del
OK
folding.html
4.13 KB
Del
OK
fullscreen.html
3.38 KB
Del
OK
hardwrap.html
2.51 KB
Del
OK
html5complete.html
1.73 KB
Del
OK
indentwrap.html
2.52 KB
Del
OK
lint.html
3.98 KB
Del
OK
loadmode.html
2.17 KB
Del
OK
marker.html
1.45 KB
Del
OK
markselection.html
1.83 KB
Del
OK
matchhighlighter.html
4.72 KB
Del
OK
matchtags.html
1.34 KB
Del
OK
merge.html
4.08 KB
Del
OK
multiplex.html
2.11 KB
Del
OK
mustache.html
2.05 KB
Del
OK
panel.html
3.38 KB
Del
OK
placeholder.html
1.47 KB
Del
OK
preview.html
2.36 KB
Del
OK
requirejs.html
2.27 KB
Del
OK
resize.html
1.33 KB
Del
OK
rulers.html
1.39 KB
Del
OK
runmode.html
2.21 KB
Del
OK
search.html
4.44 KB
Del
OK
simplemode.html
7.9 KB
Del
OK
simplescrollbars.html
4.89 KB
Del
OK
spanaffectswrapping_shim.html
2.97 KB
Del
OK
sublime.html
2.78 KB
Del
OK
tern.html
4.37 KB
Del
OK
theme.html
6.04 KB
Del
OK
trailingspace.html
1.53 KB
Del
OK
variableheight.html
2.02 KB
Del
OK
vim.html
3.88 KB
Del
OK
visibletabs.html
1.82 KB
Del
OK
widget.html
2.87 KB
Del
OK
xmlcomplete.html
3.62 KB
Del
OK
Edit: panel.html
<!doctype html> <title>CodeMirror: Panel Demo</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="../mode/javascript/javascript.js"></script> <script src="../mode/xml/xml.js"></script> <script src="../mode/htmlmixed/htmlmixed.js"></script> <script src="../addon/display/panel.js"></script> <style type="text/css"> .border { border: 1px solid #f7f7f7; } .add-panel { background: orange; padding: 3px 6px; color: white !important; border-radius: 3px; } .add-panel, .remove-panel { cursor: pointer; } .remove-panel { float: right; } .panel { background: #f7f7f7; padding: 3px 7px; font-size: 0.85em; } .panel.top, .panel.after-top { border-bottom: 1px solid #ddd; } .panel.bottom, .panel.before-bottom { border-top: 1px solid #ddd; } </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 class=active href="#">Panel</a> </ul> </div> <article> <h2>Panel Demo</h2> <div class="border"> <textarea id="code" name="code"></textarea> </div> <p> The <a href="../doc/manual.html#addon_panel"><code>panel</code></a> addon allows you to display panels above or below an editor. <br> Click the links below to add panels at the given position: </p> <div id="demo"> <p> <a class="add-panel" onclick="addPanel('top')">top</a> <a class="add-panel" onclick="addPanel('after-top')">after-top</a> <a class="add-panel" onclick="addPanel('before-bottom')">before-bottom</a> <a class="add-panel" onclick="addPanel('bottom')">bottom</a> </p> <p> You can also replace an existing panel: </p> <form onsubmit="return replacePanel(this);" name="replace_panel"> <input type="submit" value="Replace panel n°" /> <input type="number" name="panel_id" min="1" value="1" /> </form> <script> var textarea = document.getElementById("code"); var demo = document.getElementById("demo"); var numPanels = 0; var panels = {}; var editor; textarea.value = demo.innerHTML.trim(); editor = CodeMirror.fromTextArea(textarea, { lineNumbers: true, mode: "htmlmixed" }); function makePanel(where) { var node = document.createElement("div"); var id = ++numPanels; var widget, close, label; node.id = "panel-" + id; node.className = "panel " + where; close = node.appendChild(document.createElement("a")); close.setAttribute("title", "Remove me!"); close.setAttribute("class", "remove-panel"); close.textContent = "✖"; CodeMirror.on(close, "click", function() { panels[node.id].clear(); }); label = node.appendChild(document.createElement("span")); label.textContent = "I'm panel n°" + id; return node; } function addPanel(where) { var node = makePanel(where); panels[node.id] = editor.addPanel(node, {position: where, stable: true}); } addPanel("top"); addPanel("bottom"); function replacePanel(form) { var id = form.elements.panel_id.value; var panel = panels["panel-" + id]; var node = makePanel(""); panels[node.id] = editor.addPanel(node, {replace: panel, position: "after-top", stable: true}); return false; } </script> </div> </article>
Save