diff options
Diffstat (limited to 'public')
| -rw-r--r-- | public/js/index.js | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/public/js/index.js b/public/js/index.js index 5773a001..6fbdd517 100644 --- a/public/js/index.js +++ b/public/js/index.js @@ -27,18 +27,21 @@ var defaultExtraKeys = { var line = cm.getLine(cursor.line); var regex = /^(\s*)(>[> ]*|[*+-]\s|(\d+)([.)]))/; var match; - if ((match = regex.exec(line)) !== null) { + var multiple = cm.getSelection().split('\n').length > 1 || cm.getSelections().length > 1; + if (multiple) { + cm.execCommand('defaultTab'); + } else if ((match = regex.exec(line)) !== null) { var ch = match[1].length; var pos = { line: cursor.line, ch: ch }; - if (editor.getOption('indentWithTabs')) + if (cm.getOption('indentWithTabs')) cm.replaceRange(tab, pos, pos, '+input'); else cm.replaceRange(spaces, pos, pos, '+input'); } else { - if (editor.getOption('indentWithTabs')) + if (cm.getOption('indentWithTabs')) cm.execCommand('defaultTab'); else { cm.replaceSelection(spaces); |