remove traces of elastic tabstops from editor.js
This commit is contained in:
parent
3d0f30c36d
commit
1228b2d30d
1 changed files with 0 additions and 16 deletions
|
|
@ -462,21 +462,6 @@ var Editor = function(renderer, session) {
|
|||
|
||||
// update cursor because tab characters can influence the cursor position
|
||||
this.$cursorChange();
|
||||
console.log(e);
|
||||
/*if (this.$useElasticTabstops) {
|
||||
if (this.ElasticTabstops === undefined) {
|
||||
var ElasticTabstops = require("./elastic_tabstops").ElasticTabstops;
|
||||
this.ElasticTabstops = new ElasticTabstops(this, this.session);
|
||||
}
|
||||
|
||||
if (!this.ElasticTabstops.$inChange) {
|
||||
// todo: support multicursor
|
||||
var row = this.getCursorPosition().row;
|
||||
|
||||
// block event calling, because this method makes changes
|
||||
this.ElasticTabstops.processRow([row]);
|
||||
}
|
||||
}*/
|
||||
};
|
||||
|
||||
this.onTokenizerUpdate = function(e) {
|
||||
|
|
@ -1227,7 +1212,6 @@ var Editor = function(renderer, session) {
|
|||
indentString = lang.stringRepeat(" ", count);
|
||||
} else
|
||||
indentString = "\t";
|
||||
|
||||
return this.insert(indentString);
|
||||
}
|
||||
};
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue