From dbce2753df2ae2df9a8bf2e41c2cd0661c2c069e Mon Sep 17 00:00:00 2001
From: jmoenig <jens@moenig.org>
Date: Mon, 8 Apr 2013 13:18:47 +0200
Subject: Adjust list watcher size to blocks' zoom scale

---
 lists.js | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'lists.js')

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);
-- 
cgit v1.3.1