Adjust list watcher size to blocks' zoom scale

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
diff --git a/lists.js b/lists.js
index 272c497..5b54947 100644
--- a/lists.js
+++ b/lists.js
@@ -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);