Add a results bar to the editor

2026-03-03 07:13:59 +01:00 · 2013-08-07 18:23:52 +01:00
parent 08765c7957
commit 5e4a185e9d
1 changed files with 2 additions and 0 deletions
--- a/editor.php
+++ b/editor.php
@@ -288,6 +288,8 @@ var codeFoldTag = CodeMirror.newFoldFunction(CodeMirror.tagRangeFinder,null,"+",
 var codeFoldBrace = CodeMirror.newFoldFunction(CodeMirror.braceRangeFinder,null,"+","-",false);
 </script>

+<div style="position: absolute; display: none; width: 5px; height: 100%; top: 0; right: 0; background: rgba(255,255,255,0.1); overflow: hidden; z-index: 2" id="resultsBar"></div>
+
 </body>

 </html>