diff options
| -rwxr-xr-x | history.txt | 3 | ||||
| -rw-r--r-- | lists.js | 6 |
2 files changed, 6 insertions, 3 deletions
diff --git a/history.txt b/history.txt index 3cee62b..255a225 100755 --- a/history.txt +++ b/history.txt @@ -1592,4 +1592,5 @@ ______ 130408 ------ -* Cloud, GUI: Sharing / Unsharing projects finalization
\ No newline at end of file +* Cloud, GUI: Sharing / Unsharing projects finalization +* Lists: Adjust initial list watcher size to blocks' zoom scale @@ -61,7 +61,7 @@ PushButtonMorph, SyntaxElementMorph, Color, Point, WatcherMorph, StringMorph, SpriteMorph, ScrollFrameMorph, CellMorph, ArrowMorph, MenuMorph, snapEquals, Morph, isNil, localize*/ -modules.lists = '2013-March-12'; +modules.lists = '2013-April-08'; var List; var ListWatcherMorph; @@ -414,7 +414,9 @@ ListWatcherMorph.prototype.init = function (list) { this.color = new Color(220, 220, 220); this.isDraggable = true; - this.setExtent(new Point(80, 70)); + this.setExtent(new Point(80, 70).multiplyBy( + SyntaxElementMorph.prototype.scale + )); this.add(this.label); this.add(this.frame); this.add(this.plusButton); |