minor cleanups
This commit is contained in:
parent
d2cf4055f1
commit
705395ea1f
1 changed files with 7 additions and 5 deletions
|
|
@ -20,7 +20,7 @@
|
||||||
* the Initial Developer. All Rights Reserved.
|
* the Initial Developer. All Rights Reserved.
|
||||||
*
|
*
|
||||||
* Contributor(s):
|
* Contributor(s):
|
||||||
* Fabian Jakobs <fabian AT ajax DOT org>
|
* Fabian Jakobs <fabian@ajax.org>
|
||||||
* Irakli Gozalishvili <rfobic@gmail.com> (http://jeditoolkit.com)
|
* Irakli Gozalishvili <rfobic@gmail.com> (http://jeditoolkit.com)
|
||||||
* Julian Viereck <julian.viereck@gmail.com>
|
* Julian Viereck <julian.viereck@gmail.com>
|
||||||
*
|
*
|
||||||
|
|
@ -96,12 +96,13 @@ var VirtualRenderer = function(container, theme) {
|
||||||
column : 0
|
column : 0
|
||||||
};
|
};
|
||||||
|
|
||||||
var self = this;
|
var _self = this;
|
||||||
this.$textLayer.addEventListener("changeCharaterSize", function() {
|
this.$textLayer.addEventListener("changeCharaterSize", function() {
|
||||||
self.characterWidth = textLayer.getCharacterWidth();
|
_self.characterWidth = textLayer.getCharacterWidth();
|
||||||
self.lineHeight = textLayer.getLineHeight();
|
_self.lineHeight = textLayer.getLineHeight();
|
||||||
|
_self.$updatePrintMargin();
|
||||||
|
|
||||||
self.$loop.schedule(self.CHANGE_FULL);
|
_self.$loop.schedule(_self.CHANGE_FULL);
|
||||||
});
|
});
|
||||||
event.addListener(this.$gutter, "click", this.$onGutterClick.bind(this));
|
event.addListener(this.$gutter, "click", this.$onGutterClick.bind(this));
|
||||||
event.addListener(this.$gutter, "dblclick", this.$onGutterClick.bind(this));
|
event.addListener(this.$gutter, "dblclick", this.$onGutterClick.bind(this));
|
||||||
|
|
@ -272,6 +273,7 @@ var VirtualRenderer = function(container, theme) {
|
||||||
|
|
||||||
if (!this.$showPrintMargin && !this.$printMarginEl)
|
if (!this.$showPrintMargin && !this.$printMarginEl)
|
||||||
return;
|
return;
|
||||||
|
|
||||||
if (!this.$printMarginEl) {
|
if (!this.$printMarginEl) {
|
||||||
containerEl = document.createElement("div");
|
containerEl = document.createElement("div");
|
||||||
containerEl.className = "ace_print_margin_layer";
|
containerEl.className = "ace_print_margin_layer";
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue