use timed undo grouping by default

pull/488/merge
nightwing 2018-03-19 20:17:50 +04:00
rodzic 4324d55aa4
commit 1871422e5c
1 zmienionych plików z 1 dodań i 1 usunięć

Wyświetl plik

@ -271,7 +271,7 @@
["highlightSelectedWord", true, BOOL],
["animatedScroll", true, BOOL],
["scrollPastEnd", 0.5, NUMBER],
["mergeUndoDeltas", "off", STRING],
["mergeUndoDeltas", true, STRING],
["theme", defaultThemes[skin], STRING]
];
var docSettings = aceSettings.slice(1, 6);