allow folds with empty placeholder
This commit is contained in:
parent
3f8aa00d23
commit
e1697c2dfd
4 changed files with 6 additions and 10 deletions
|
|
@ -1893,10 +1893,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