|
|
@@ -84,7 +84,7 @@ |
|
|
|
function updateToolbar() { |
|
|
|
document.getElementById("btnUndo").disabled = !editor.session.getUndoManager().hasUndo(); |
|
|
|
document.getElementById("btnRedo").disabled = !editor.session.getUndoManager().hasRedo(); |
|
|
|
if (!window.fullscreen) { |
|
|
|
if (window.fullscreen) { |
|
|
|
document.getElementById("btnFs").style.display = "none"; |
|
|
|
} else { |
|
|
|
document.getElementById("btnFs").style.display = "block"; |
|
|
|