diff --git a/gui.js b/gui.js index 30acdd77..8882d45a 100644 --- a/gui.js +++ b/gui.js @@ -6484,7 +6484,7 @@ LibraryImportDialogMorph.prototype.displayLoadingMessage = function }; LibraryImportDialogMorph.prototype.fixLayout = function () { - var th = fontHeight(this.titleFontSize) + this.titlePadding * 2, + var titleHeight = fontHeight(this.titleFontSize) + this.titlePadding * 2, thin = this.padding / 2, oldFlag = Morph.prototype.trackChanges; @@ -6497,7 +6497,7 @@ LibraryImportDialogMorph.prototype.fixLayout = function () { if (this.body) { this.body.setPosition(this.position().add(new Point( this.padding, - th + this.padding + titleHeight + this.padding ))); this.body.setExtent(new Point( this.width() - this.padding * 2, @@ -6508,7 +6508,7 @@ LibraryImportDialogMorph.prototype.fixLayout = function () { this.body.left() + this.padding, this.body.top() + this.padding )); - this.listField.setHeight(this.body.height() - this.padding * 2); + this.listField.setHeight(this.body.height() - this.padding); this.listField.setWidth( this.body.width() - this.palette.width() @@ -6520,8 +6520,10 @@ LibraryImportDialogMorph.prototype.fixLayout = function () { this.palette.setRight(this.body.right()); this.palette.setTop(this.body.top() + this.padding); - this.notesField.setTop(this.palette.bottom() + thin); - this.notesField.setLeft(this.palette.left()); + this.notesField.setPosition(new Point( + this.palette.left(), + this.palette.bottom() + thin + )); this.notesField.setHeight( this.body.bottom() - this.palette.bottom() - thin );