[PATCH] zoom.js: change zoomGraphObjDrawSelection behavior to highlight all the graph vertically

[Gildas Le Nadan]

This patch change the behavior of the zoomGraphObjDrawSelection function 
to vertically highlight the graph on the whole of its height, instead of 
just a small box with the starting/actual coordonates.

With this new behavior, users are not surprised by the new graph not 
starting with the exact coordonates they have specified (i-e in X *and* Y).

Cheers,
Gildas

--- hobbit/web/zoom.js.orig     2006-08-09 21:28:13.000000000 +0100
+++ hobbit/web/zoom.js  2006-09-21 14:03:09.878400629 +0100
@@ -335,11 +335,9 @@

   var minX = Math.min(x1, x2);
   var maxX = Math.max(x1, x2) + 1;
- var minY = Math.min(y1, y2);
- var maxY = Math.max(y1, y2) + 1;

   divObject = document.getElementById(cZoomBoxName);
- divObject.style.clip ="rect(" + minY + "px " + maxX + "px " + maxY + 
"px " + minX + "px)";
+ divObject.style.clip ="rect(0px " + maxX + "px " + this.zoomBoxHeight 
+ "px " + minX + "px)";
  }