Adjust list watcher size to blocks' zoom scale

1 files changed, 4 insertions, 2 deletions

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);