Mercurial
diff .cms/lib/codemirror/demo/widget.html @ 0:78edf6b517a0 draft
24.10
author | Coffee CMS <info@coffee-cms.ru> |
---|---|
date | Fri, 11 Oct 2024 22:40:23 +0000 |
parents | |
children |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/.cms/lib/codemirror/demo/widget.html Fri Oct 11 22:40:23 2024 +0000 @@ -0,0 +1,85 @@ +<!doctype html> + +<title>CodeMirror: Inline Widget 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="https://cdnjs.cloudflare.com/ajax/libs/jshint/2.9.5/jshint.min.js"></script> +<style> + .CodeMirror {border: 1px solid black;} + .lint-error {font-family: arial; font-size: 70%; background: #ffa; color: #a00; padding: 2px 5px 3px; } + .lint-error-icon {color: white; background-color: red; font-weight: bold; border-radius: 50%; padding: 0 3px; margin-right: 7px;} + </style> +<div id=nav> + <a href="https://codemirror.net/5"><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/codemirror5">Code</a> + </ul> + <ul> + <li><a class=active href="#">Inline Widget</a> + </ul> +</div> + +<article> +<h2>Inline Widget Demo</h2> + + + <div id=code></div> + <script id="script">var widgets = [] +function updateHints() { + editor.operation(function(){ + for (var i = 0; i < widgets.length; ++i) + editor.removeLineWidget(widgets[i]); + widgets.length = 0; + + JSHINT(editor.getValue()); + for (var i = 0; i < JSHINT.errors.length; ++i) { + var err = JSHINT.errors[i]; + if (!err) continue; + var msg = document.createElement("div"); + var icon = msg.appendChild(document.createElement("span")); + icon.innerHTML = "!!"; + icon.className = "lint-error-icon"; + msg.appendChild(document.createTextNode(err.reason)); + msg.className = "lint-error"; + widgets.push(editor.addLineWidget(err.line - 1, msg, {coverGutter: false, noHScroll: true})); + } + }); + var info = editor.getScrollInfo(); + var after = editor.charCoords({line: editor.getCursor().line + 1, ch: 0}, "local").top; + if (info.top + info.clientHeight < after) + editor.scrollTo(null, after - info.clientHeight + 3); +} + +window.onload = function() { + var sc = document.getElementById("script"); + var content = sc.textContent || sc.innerText || sc.innerHTML; + + window.editor = CodeMirror(document.getElementById("code"), { + lineNumbers: true, + mode: "javascript", + value: content + }); + + var waiting; + editor.on("change", function() { + clearTimeout(waiting); + waiting = setTimeout(updateHints, 500); + }); + + setTimeout(updateHints, 100); +}; + +"long line to create a horizontal scrollbar, in order to test whether the (non-inline) widgets stay in place when scrolling to the right"; +</script> +<p>This demo runs <a href="http://jshint.com">JSHint</a> over the code +in the editor (which is the script used on this page), and +inserts <a href="../doc/manual.html#addLineWidget">line widgets</a> to +display the warnings that JSHint comes up with.</p> + </article>