", modaloptions);
+ }
+
function save() {
var n = $("#tree").jstree("get_selected");
if (n) {
@@ -267,6 +270,7 @@
editor.setOption("displayIndentGuides", true);
editor.setOption("highlightSelectedWord", highlightwords);
editor.$blockScrolling = Infinity;
+ //document.getElementById("acesettings").addEventListener('click', function(){editor.showSettingsMenu;}, false);
function insert(text) {
var pos = editor.selection.getCursor();
var end = editor.session.insert(pos, text);
diff --git a/todo.txt b/todo.txt
index 9f36c5b..4b808bd 100644
--- a/todo.txt
+++ b/todo.txt
@@ -2,7 +2,6 @@ List of changes that have to be done
List of ideas that could be implemented
-- Confirmation dialog before saving files
- post-save scripts (to workaround current limitations)
- Configuration validation
- Git functionality (with local repository)
\ No newline at end of file