diff -r c5cdf6690cdf -r 7e6ad28aeb9e graph_displayer_canvas-zoom.cc
--- a/graph_displayer_canvas-zoom.cc	Thu Sep 28 14:32:40 2006 +0000
+++ b/graph_displayer_canvas-zoom.cc	Mon Oct 02 18:52:00 2006 +0000
@@ -8,6 +8,7 @@
   if(zoomtrack)
     {
       propertyChange(false, N_RADIUS);
+      propertyChange(true, E_WIDTH);
     }
 }
 
@@ -17,6 +18,7 @@
       (1.0 - (double) zoom_step / 100.0) * get_pixels_per_unit());
   if(zoomtrack)
     {
+      propertyChange(true, E_WIDTH);
       propertyChange(false, N_RADIUS);
     }
 }
@@ -42,6 +44,7 @@
 
   if(zoomtrack)
     {
+      propertyChange(true, E_WIDTH);
       propertyChange(false, N_RADIUS);
     }
 }
@@ -53,6 +56,7 @@
 
   if(zoomtrack)
     {
+      propertyChange(true, E_WIDTH);
       propertyChange(false, N_RADIUS);
     }
 }