In javascript mode (and perhaps normal mode), the panmap widget was not working
as it should. The image after dragging the map did not have the right extent. In
panmap.widget.php, on line 421, there is an if-statement testing whether the
mouse coordinates are smaller than 0. I don't know why this is there (was it
supposed to test whether the mouse coordinates are > 0?), but getting rid of the
condition, leaving the content of the body of the if-statement, fixes the problem:

-----------------------------------------------------------------
$szJsFunctionName = "PanMapWDragStart";
        $szFunction = <<<EOT
/**
 * {$szJsFunctionName}
 * called when the drag starts in PanMap widget.
 */
function {$szJsFunctionName}(x,y)
{
      gnPanWFirstPointX = gMapWmouseX;
      gnPanWFirstPointY = gMapWmouseY;
}
--------------------------------------------------------------

Jacob