Don't emit Paste event on indent
This commit is contained in:
parent
26a1af8778
commit
e46d4201fe
1 changed files with 1 additions and 1 deletions
|
|
@ -792,7 +792,7 @@ var Editor =function(renderer, session) {
|
||||||
indentString = lang.stringRepeat(" ", count);
|
indentString = lang.stringRepeat(" ", count);
|
||||||
} else
|
} else
|
||||||
indentString = "\t";
|
indentString = "\t";
|
||||||
return this.onTextInput(indentString);
|
return this.onTextInput(indentString, true);
|
||||||
}
|
}
|
||||||
};
|
};
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue