KaiSD/Test-rep
1
0
Fork 0
Code Pull Requests Releases Wiki Activity

Изменить 'ace/index.html'

Browse Source
This commit is contained in:
KaiSD
2019-09-04 21:55:09 +02:00
parent 6ff85e4927
commit bf6b585a6b
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
ace/index.html
View File

@@ -57,7 +57,7 @@
</head> </head>
<body> <body>
<div class="toolbar"> <div class="toolbar">
<!--<button id="btnSave" onClick="save()" class="btn btn_g">save</button>--> <button id="btnSave" onClick="save()" class="btn btn_g">⇩</button>
<button id="btnUndo" onClick="editor.undo()" class="btn">↶</button> <button id="btnUndo" onClick="editor.undo()" class="btn">↶</button>
<button id="btnRedo" onClick="editor.redo()" class="btn btn_g">↷</button> <button id="btnRedo" onClick="editor.redo()" class="btn btn_g">↷</button>
<button id="btnFs" onclick="toggleFullscreen()" class="btn">◻</button> <button id="btnFs" onclick="toggleFullscreen()" class="btn">◻</button>
@@ -85,7 +85,7 @@
document.getElementById("btnUndo").disabled = !editor.session.getUndoManager().hasUndo(); document.getElementById("btnUndo").disabled = !editor.session.getUndoManager().hasUndo();
document.getElementById("btnRedo").disabled = !editor.session.getUndoManager().hasRedo(); document.getElementById("btnRedo").disabled = !editor.session.getUndoManager().hasRedo();
if (!window.fullscreen) { if (!window.fullscreen) {
document.getElementById("btnFs").style.display = "block"; document.getElementById("btnFs").style.display = "compact";
} }
} }
editor.on("input", updateToolbar); editor.on("input", updateToolbar);