version 1.1, 2004/03/25 18:07:37
|
version 1.2, 2004/03/26 14:19:50
|
Line 340 function placeMarks() {
|
Line 340 function placeMarks() {
|
|
|
|
|
function zoomPoint() { |
function zoomPoint() { |
|
window.focus() |
function zoomPointEvent(evt) { |
function zoomPointEvent(evt) { |
|
|
var point = new Point(evt); |
var point = new Point(evt); |
Line 391 function zoomPoint() {
|
Line 391 function zoomPoint() {
|
function zoomArea() { |
function zoomArea() { |
var state = 0; |
var state = 0; |
var pt1, pt2; |
var pt1, pt2; |
|
window.focus() |
|
|
function click(evt) { |
function click(evt) { |
|
|