From: Tim Bunce <Tim.Bunce@pobox.com>
Date: Tue, 25 Sep 2012 12:53:23 +0000 (+0900)
Subject: Larger label font. workaround jit bug where old tooltip is still shown
X-Git-Url: http://git.shadowcat.co.uk/gitweb/gitweb.cgi?a=commitdiff_plain;h=a74b795d242b389680962863ff522ebaa9314eb5;p=p5sagit%2FDevel-Size.git

Larger label font. workaround jit bug where old tooltip is still shown
---

diff --git a/static/public/tm.js b/static/public/tm.js
index cfe8949..b294728 100644
--- a/static/public/tm.js
+++ b/static/public/tm.js
@@ -61,7 +61,7 @@ function init(){
     //show only one tree level
     levelsToShow: levelsToShow,
     //parent box title heights
-    titleHeight: 12,
+    titleHeight: 14,
     //enable animations
     animate: animate,
     //box offsets
@@ -69,7 +69,7 @@ function init(){
     //use canvas text
     Label: {
       type: labelType,
-      size: 9,
+      size: 10,
       family: 'Tahoma, Verdana, Arial'
     },
     //enable specific canvas styles
@@ -171,6 +171,9 @@ function init(){
                 console.log(data);
                 onComplete.onComplete(nodeId, data);  
             });
+            // XXX workaround jit bug where old tooltip is still shown till the
+            // mouse moves
+            jQuery("#_tooltip").fadeOut("fast");
     },
     //Add the name of the node in the corresponding label
     //This method is called once, on label creation and only for DOM labels.