#1054 Opera indent bug
This commit is contained in:
parent
3f8aa00d23
commit
175ed3618b
1 changed files with 1 additions and 1 deletions
|
|
@ -116,7 +116,7 @@ var CstyleBehaviour = function () {
|
||||||
};
|
};
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
} else if (text == "\n") {
|
} else if (text == "\n" || text == "\r\n") {
|
||||||
var cursor = editor.getCursorPosition();
|
var cursor = editor.getCursorPosition();
|
||||||
var line = session.doc.getLine(cursor.row);
|
var line = session.doc.getLine(cursor.row);
|
||||||
var rightChar = line.substring(cursor.column, cursor.column + 1);
|
var rightChar = line.substring(cursor.column, cursor.column + 1);
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue