Merge pull request #1085 from ajaxorg/folding-2
improve folding behavior
This commit is contained in:
commit
2c86ab5bcd
9 changed files with 99 additions and 58 deletions
|
|
@ -1899,10 +1899,9 @@ var EditSession = function(text, mode) {
|
|||
row ++;
|
||||
} else {
|
||||
tokens = [];
|
||||
foldLine.walk(
|
||||
function(placeholder, row, column, lastColumn) {
|
||||
foldLine.walk(function(placeholder, row, column, lastColumn) {
|
||||
var walkTokens;
|
||||
if (placeholder) {
|
||||
if (placeholder != null) {
|
||||
walkTokens = this.$getDisplayTokens(
|
||||
placeholder, tokens.length);
|
||||
walkTokens[0] = PLACEHOLDER_START;
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue