From 21d2d83af1a2919fc637c50b58bb05272b4cf022 Mon Sep 17 00:00:00 2001 From: nightwing Date: Thu, 6 Jan 2011 17:31:55 +0400 Subject: [PATCH] allow layers to be sized automatically --- lib/ace/css/editor.css | 1 + lib/ace/virtual_renderer.js | 11 ++--------- 2 files changed, 3 insertions(+), 9 deletions(-) diff --git a/lib/ace/css/editor.css b/lib/ace/css/editor.css index cd52dfe1..dc7db9db 100644 --- a/lib/ace/css/editor.css +++ b/lib/ace/css/editor.css @@ -43,6 +43,7 @@ overflow: hidden; white-space: nowrap; height: 100%; + width: 100%; } .ace_text-layer { diff --git a/lib/ace/virtual_renderer.js b/lib/ace/virtual_renderer.js index 854c0684..b1a2c3a6 100644 --- a/lib/ace/virtual_renderer.js +++ b/lib/ace/virtual_renderer.js @@ -67,7 +67,8 @@ var VirtualRenderer = function(container, theme) { this.container.appendChild(this.scroller); this.content = document.createElement("div"); - this.content.style.position = "absolute"; + this.content.style.cssText = "position:absolute;box-sizing:border-box;" + + "-moz-box-sizing:border-box;-webkit-box-sizing:border-box"; this.scroller.appendChild(this.content); this.$gutterLayer = new GutterLayer(this.$gutter); @@ -409,14 +410,6 @@ var VirtualRenderer = function(container, theme) { height : this.$size.scrollerHeight }; - for ( var i = 0; i < this.layers.length; i++) { - var layer = this.layers[i]; - if (widthChanged) { - var style = layer.element.style; - style.width = longestLine + "px"; - } - }; - this.$gutterLayer.element.style.marginTop = (-offset) + "px"; this.content.style.marginTop = (-offset) + "px"; this.content.style.width = longestLine + "px";