fix print margin rendering

This commit is contained in:
Fabian Jakobs 2010-05-11 16:19:09 +02:00
commit 7205ed3f28

View file

@ -111,7 +111,7 @@ ace.VirtualRenderer = function(container) {
if (!this.$printMarginEl) {
this.$printMarginEl = document.createElement("div");
this.$printMarginEl.className = "printMargin";
this.content.insertBefore(this.$printMarginEl, this.$gutter.element);
this.content.insertBefore(this.$printMarginEl, this.$markerLayer.element);
}
var style = this.$printMarginEl.style;