version 1.1, 2004/07/21 17:44:51
|
version 1.3, 2004/10/04 19:39:01
|
Line 1
|
Line 1
|
/* Copyright (C) 2003,2004 WTWG, Uni Bern and others |
/* Copyright (C) 2003,2004 IT-Group MPIWG, WTWG Uni Bern and others |
|
|
This program is free software; you can redistribute it and/or |
This program is free software; you can redistribute it and/or |
modify it under the terms of the GNU General Public License |
modify it under the terms of the GNU General Public License |
Line 14 You should have received a copy of the G
|
Line 14 You should have received a copy of the G
|
along with this program; if not, write to the Free Software |
along with this program; if not, write to the Free Software |
Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA |
Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA |
|
|
Authors: ROC 03.06.2004 |
Authors: |
first version by Christian Luginbuehl, 01.05.2003 |
Christian Luginbuehl, 01.05.2003 (first version) |
Changed for digiLib in Zope by DW 24.03.2004 |
DW 24.03.2004 (Changed for digiLib in Zope) |
|
Robert Casties, 03.08.2004 |
|
|
*/ |
*/ |
|
|
function getInt(n) { |
function getInt(n) { |
Line 467 function evtPosition(evt) {
|
Line 469 function evtPosition(evt) {
|
return new Position(x, y); |
return new Position(x, y); |
} |
} |
|
|
function registerMouseDown(elem, handler) { |
function registerEvent(type, elem, handler) { |
// register a mouse down event handler on the indicated element |
// register the given event handler on the indicated element |
if (elem.addEventListener) { |
if (elem.addEventListener) { |
elem.addEventListener("mousedown", handler, false); |
elem.addEventListener(type, handler, false); |
} else { |
} else { |
|
if (type = "mousedown") { |
if (elem.captureEvents) { |
if (elem.captureEvents) { |
elem.captureEvents(Event.MOUSEDOWN); |
elem.captureEvents(Event.MOUSEDOWN); |
} |
} |
elem.onmousedown = handler; |
elem.onmousedown = handler; |
|
} else if (type = "mouseup") { |
|
if (elem.captureEvents) { |
|
elem.captureEvents(Event.MOUSEUP); |
|
} |
|
elem.onmouseup = handler; |
|
} else if (type = "mousemove") { |
|
if (elem.captureEvents) { |
|
elem.captureEvents(Event.MOUSEMOVE); |
|
} |
|
elem.onmousemove = handler; |
|
} else if (type = "keypress") { |
|
if (elem.captureEvents) { |
|
elem.captureEvents(Event.KEYPRESS); |
|
} |
|
elem.onkeypress = handler; |
|
} else { |
|
alert("registerEvent: unknown event type "+type); |
|
return false; |
|
} |
} |
} |
return true; |
return true; |
} |
} |
|
|
function unregisterMouseDown(elem, handler) { |
function unregisterEvent(type, elem, handler) { |
// unregister the mouse down event handler |
// unregister the given event handler from the indicated element |
if (elem.removeEventListener) { |
if (elem.removeEventListener) { |
elem.removeEventListener("mousedown", handler, false); |
elem.removeEventListener(type, handler, false); |
} else { |
} else { |
|
if (type = "mousedown") { |
if (elem.releaseEvents) { |
if (elem.releaseEvents) { |
elem.releaseEvents(Event.MOUSEDOWN); |
elem.releaseEvents(Event.MOUSEDOWN); |
} |
} |
elem.onmousedown = null; |
elem.onmousedown = null; |
|
} else if (type = "mouseup") { |
|
if (elem.releaseEvents) { |
|
elem.releaseEvents(Event.MOUSEUP); |
} |
} |
return true; |
elem.onmouseup = null; |
|
} else if (type = "mousemove") { |
|
if (elem.releaseEvents) { |
|
elem.releaseEvents(Event.MOUSEMOVE); |
} |
} |
|
elem.onmousemove = null; |
function registerMouseMove(elem, handler) { |
} else if (type = "keypress") { |
// register a mouse move event handler on the indicated element |
if (elem.releaseEvents) { |
if (elem.addEventListener) { |
elem.releaseEvents(Event.KEYPRESS); |
elem.addEventListener("mousemove", handler, false); |
} |
|
elem.onkeypress = null; |
} else { |
} else { |
if (elem.captureEvents) { |
alert("unregisterEvent: unknown event type "+type); |
elem.captureEvents(Event.MOUSEMOVE); |
return false; |
} |
} |
elem.onmousemove = handler; |
|
} |
} |
return true; |
return true; |
} |
} |
|
|
function unregisterMouseMove(elem, handler) { |
|
// unregister the mouse move event handler |
// old registerXXYY API for compatibility |
if (elem.removeEventListener) { |
function registerMouseDown(elem, handler) { |
elem.removeEventListener("mousemove", handler, false); |
return registerEvent("mousedown", elem, handler); |
} else { |
|
if (elem.releaseEvents) { |
|
elem.releaseEvents(Event.MOUSEMOVE); |
|
} |
|
elem.onmousemove = null; |
|
} |
} |
return true; |
function unregisterMouseDown(elem, handler) { |
|
return unregisterEvent("mousedown", elem, handler); |
} |
} |
|
function registerMouseMove(elem, handler) { |
function registerKeyDown(handler) { |
return registerEvent("mousemove", elem, handler); |
// register a key down handler |
|
if ( document.addEventListener ) { |
|
this.document.addEventListener('keypress', handler, false); |
|
} else { |
|
if (elem.captureEvents) { |
|
elem.captureEvents(Event.MOUSEDOWN); |
|
} |
} |
this.document.onkeypress = handler |
function unregisterMouseMove(elem, handler) { |
|
return unregisterEvent("mousemove", elem, handler); |
} |
} |
return true; |
function registerKeyDown(handler) { |
|
return registerEvent("keypress", elem, handler); |
} |
} |
|
|
|
|
function getWinSize() { |
function getWinSize() { |
// returns a Size with the current window size (mostly from www.quirksmode.org) |
// returns a Size with the current window size (mostly from www.quirksmode.org) |
var wsize = new Size(100, 100); |
var wsize = new Size(100, 100); |
Line 551 function getWinSize() {
|
Line 573 function getWinSize() {
|
return wsize; |
return wsize; |
} |
} |
|
|
function openWin(url, title, params) { |
function openWin(url, name, params) { |
// open browser window |
// open browser window |
var ow = window.open(url, title, params); |
var ow = window.open(url, name, params); |
ow.focus(); |
ow.focus(); |
} |
} |