Merge pull request +16037 from c9/better-undo-defaults

use timed undo grouping by default
pull/488/merge
Harutyun Amirjanyan 2018-03-20 16:39:41 +04:00 zatwierdzone przez GitHub
commit 131091a73f
1 zmienionych plików z 1 dodań i 1 usunięć

Wyświetl plik

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