fix horizontal scrolling with line widgets

pull/134/merge
nightwing 2015-08-28 04:14:09 +04:00
rodzic 1ca8dbdd31
commit e29543adfb
1 zmienionych plików z 8 dodań i 4 usunięć

12
node_modules/ace/lib/ace/line_widgets.js wygenerowano vendored
Wyświetl plik

@ -205,9 +205,7 @@ function LineWidgets(session) {
if (w.rowCount == null) {
w.rowCount = w.pixelHeight / renderer.layerConfig.lineHeight;
}
if (w.fullWidth) {
w.pixelWidth = w.el.pixelWidth;
}
var fold = this.session.getFoldAt(w.row, 0);
w.$fold = fold;
if (fold) {
@ -222,6 +220,7 @@ function LineWidgets(session) {
this.$updateRows();
this.renderWidgets(null, renderer);
this.onWidgetChanged(w);
return w;
};
@ -251,6 +250,7 @@ function LineWidgets(session) {
var min = Infinity;
for (var i = 0; i < changedWidgets.length; i++) {
var w = changedWidgets[i];
if (!w.el) continue;
if (!w._inDocument) {
w._inDocument = true;
renderer.container.appendChild(w.el);
@ -317,7 +317,11 @@ function LineWidgets(session) {
if (!w.fixedWidth)
left -= renderer.scrollLeft;
w.el.style.left = left + "px";
if (w.fullWidth && w.screenWidth) {
w.el.style.minWidth = config.width + "px";
}
if (w.fixedWidth) {
w.el.style.right = renderer.scrollBar.getWidth() + "px";
} else {