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

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)";
  }