From 5222fa63b1a26f5f286fa17730f5a0f247e54ff6 Mon Sep 17 00:00:00 2001 From: Fabian Jakobs Date: Mon, 13 Sep 2010 16:30:20 +0200 Subject: [PATCH] improve outdent --- src/ace/Editor.js | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/ace/Editor.js b/src/ace/Editor.js index b6408992..3950db62 100644 --- a/src/ace/Editor.js +++ b/src/ace/Editor.js @@ -505,6 +505,10 @@ ace.Editor = function(renderer, doc) { var indentString = indentString || this.doc.getTabString(); var addedColumns = this.doc.outdentRows(this.getSelectionRange(), indentString); + // besides the indent string also outdent tabs + if (addedColumns == 0 && indentString != "\t") + var addedColumns = this.doc.outdentRows(this.getSelectionRange(), "\t"); + this.selection.shiftSelection(addedColumns); this.$updateDesiredColumn(); };