1.1 --- a/graph_displayer_canvas-zoom.cc	Thu Sep 28 14:32:40 2006 +0000
     1.2 +++ b/graph_displayer_canvas-zoom.cc	Mon Oct 02 18:52:00 2006 +0000
     1.3 @@ -8,6 +8,7 @@
     1.4    if(zoomtrack)
     1.5      {
     1.6        propertyChange(false, N_RADIUS);
     1.7 +      propertyChange(true, E_WIDTH);
     1.8      }
     1.9  }
    1.10  
    1.11 @@ -17,6 +18,7 @@
    1.12        (1.0 - (double) zoom_step / 100.0) * get_pixels_per_unit());
    1.13    if(zoomtrack)
    1.14      {
    1.15 +      propertyChange(true, E_WIDTH);
    1.16        propertyChange(false, N_RADIUS);
    1.17      }
    1.18  }
    1.19 @@ -42,6 +44,7 @@
    1.20  
    1.21    if(zoomtrack)
    1.22      {
    1.23 +      propertyChange(true, E_WIDTH);
    1.24        propertyChange(false, N_RADIUS);
    1.25      }
    1.26  }
    1.27 @@ -53,6 +56,7 @@
    1.28  
    1.29    if(zoomtrack)
    1.30      {
    1.31 +      propertyChange(true, E_WIDTH);
    1.32        propertyChange(false, N_RADIUS);
    1.33      }
    1.34  }