version 1.2, 2004/06/02 17:32:54
|
version 1.4, 2004/06/03 18:05:57
|
Line 196 function dl_init() {
|
Line 196 function dl_init() {
|
} |
} |
picElem = getElement("pic", true); |
picElem = getElement("pic", true); |
if (picElem == null) { |
if (picElem == null) { |
// in N4 pic is in the layer scaler |
// in N4 pic is in the scaler layer |
picElem = elemScaler.document.images[0]; |
picElem = elemScaler.document.images[0]; |
} |
} |
// give a name to the window containing digilib |
// give a name to the window containing digilib |
Line 211 function dl_init() {
|
Line 211 function dl_init() {
|
renderMarks(); |
renderMarks(); |
// done |
// done |
focus(); |
focus(); |
return null; |
return; |
} |
} |
|
|
function display(detail) { |
function display(detail) { |
Line 235 function openWin(url, title, params) {
|
Line 235 function openWin(url, title, params) {
|
|
|
function getRef(select) { |
function getRef(select) { |
// open a dialog with a reference to the current digilib set |
// open a dialog with a reference to the current digilib set |
var hyperlinkRef = baseUrl + "?" + getAllParameters(9); |
if (! baseUrl) { |
|
var baseUrl = location.protocol + "//" + location.host + location.pathname; |
|
} |
|
var hyperlinkRef = baseUrl; |
|
var par = getAllParameters(9); |
|
if (par.length > 0) { |
|
hyperlinkRef += "?" + par; |
|
} |
if ( select == 0 ) { |
if ( select == 0 ) { |
prompt("Link for LaTeX-documents", "\\href{" + hyperlinkRef + "}{TEXT}"); |
prompt("Link for LaTeX-documents", "\\href{" + hyperlinkRef + "}{TEXT}"); |
} else if ( select == 1 ) { |
} else if ( select == 1 ) { |
Line 250 function renderMarks() {
|
Line 257 function renderMarks() {
|
if (defined(picElem.complete) && picElem.complete == false && ! browserType.isN4 ) { |
if (defined(picElem.complete) && picElem.complete == false && ! browserType.isN4 ) { |
setTimeout("renderMarks()", 100); |
setTimeout("renderMarks()", 100); |
} else { |
} else { |
//alert("rendermarks!"); |
|
dlTrafo = parseTrafo(picElem); |
dlTrafo = parseTrafo(picElem); |
for (var i = 0; i < 8; i++) { |
for (var i = 0; i < 8; i++) { |
var me = getElement("dot"+i); |
var me = getElement("dot"+i); |
Line 280 function setMark() {
|
Line 286 function setMark() {
|
|
|
function markEvent(evt) { |
function markEvent(evt) { |
// event handler adding a new mark |
// event handler adding a new mark |
var p = dlTrafo.invtransform(evtPosition(evt)); |
|
unregisterMouseDown(elemScaler, markEvent); |
unregisterMouseDown(elemScaler, markEvent); |
|
var p = dlTrafo.invtransform(evtPosition(evt)); |
addMark(p); |
addMark(p); |
display(); |
display(); |
} |
} |
Line 302 function zoomPoint(inout) {
|
Line 308 function zoomPoint(inout) {
|
|
|
function zoomPointEvent(evt) { |
function zoomPointEvent(evt) { |
// take new center and set zoom parameters |
// take new center and set zoom parameters |
|
unregisterMouseDown(elemScaler, zoomPointEvent); |
var p = dlTrafo.invtransform(evtPosition(evt)); |
var p = dlTrafo.invtransform(evtPosition(evt)); |
var neww = Math.min(dlArea.width * (1/zoom), 1.0); |
var neww = Math.min(dlArea.width * (1/zoom), 1.0); |
var newh = Math.min(dlArea.height * (1/zoom), 1.0); |
var newh = Math.min(dlArea.height * (1/zoom), 1.0); |
Line 402 function zoomArea() {
|
Line 409 function zoomArea() {
|
} |
} |
|
|
|
|
function moveTo() { |
function moveCenter() { |
|
// move visible area so that it's centered around the clicked point |
if ( (dlArea.width == 1.0) && (dlArea.height == 1.0) ) { |
if ( (dlArea.width == 1.0) && (dlArea.height == 1.0) ) { |
alert("This function is only available when zoomed in!"); |
// noting to do |
return; |
return; |
} |
} |
|
window.focus(); |
|
|
function moveToEvent(event) { |
function moveCenterEvent(evt) { |
// move to handler |
// move to handler |
var pt = evtPosition(evt); |
unregisterMouseDown(elemScaler, moveCenterEvent); |
|
var pt = dlTrafo.invtransform(evtPosition(evt)); |
|
alert("pt: "+pt.x+", "+pt.y); |
var newarea = new Rectangle(pt.x-0.5*dlArea.width, pt.y-0.5*dlArea.height, dlArea.width, dlArea.height); |
var newarea = new Rectangle(pt.x-0.5*dlArea.width, pt.y-0.5*dlArea.height, dlArea.width, dlArea.height); |
newarea = dlMaxArea.fit(newarea); |
newarea = dlMaxArea.fit(newarea); |
// stopping event capture |
|
unregisterMouseDown(elemScaler, moveToEvent); |
|
// set parameters |
// set parameters |
setParameter("wx", cropFloat(newarea.x)); |
setParamFromArea(newarea); |
setParameter("wy", cropFloat(newarea.y)); |
parseArea(); |
setParameter("ww", cropFloat(newarea.width)); |
|
setParameter("wh", cropFloat(newarea.height)); |
|
display(); |
display(); |
} |
} |
|
|
// starting event capture |
// starting event capture |
registerMouseDown(elemScaler, moveToEvent); |
registerMouseDown(elemScaler, moveCenterEvent); |
} |
} |
|
|
|
|