indent guides
This commit is contained in:
parent
4a8ead5c7b
commit
f73e38625b
5 changed files with 163 additions and 71 deletions
|
|
@ -104,7 +104,6 @@ var VirtualRenderer = function(container, theme) {
|
|||
|
||||
this.$gutterLayer = new GutterLayer(this.$gutter);
|
||||
this.$gutterLayer.on("changeGutterWidth", this.onResize.bind(this, true));
|
||||
this.setFadeFoldWidgets(true);
|
||||
|
||||
this.$markerBack = new MarkerLayer(this.content);
|
||||
|
||||
|
|
@ -249,6 +248,11 @@ var VirtualRenderer = function(container, theme) {
|
|||
this.$loop.schedule(this.CHANGE_LINES);
|
||||
};
|
||||
|
||||
this.onChangeTabSize = function() {
|
||||
this.$loop.schedule(this.CHANGE_TEXT | this.CHANGE_MARKER);
|
||||
this.$textLayer.onChangeTabSize();
|
||||
};
|
||||
|
||||
/**
|
||||
* VirtualRenderer.updateText() -> Void
|
||||
*
|
||||
|
|
@ -388,6 +392,15 @@ var VirtualRenderer = function(container, theme) {
|
|||
return this.$textLayer.showInvisibles;
|
||||
};
|
||||
|
||||
this.getDisplayIndentGuides = function() {
|
||||
return this.$textLayer.displayIndentGuides;
|
||||
};
|
||||
|
||||
this.setDisplayIndentGuides = function(display) {
|
||||
if (this.$textLayer.setDisplayIndentGuides(display))
|
||||
this.$loop.schedule(this.CHANGE_TEXT);
|
||||
};
|
||||
|
||||
this.$showPrintMargin = true;
|
||||
|
||||
/**
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue