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

---
 history.txt | 3 ++-
 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
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