comparison client/digitallibrary/dlImage.jsp @ 41:44f653ae5df5

opera support done, bugfixes
author luginbue
date Tue, 21 May 2002 02:29:41 +0200
parents 054ebc851059
children 866e798e2bef
comparison
equal deleted inserted replaced
40:79f1deeb18c4 41:44f653ae5df5
63 <html> 63 <html>
64 <head> 64 <head>
65 <script language="JavaScript"> 65 <script language="JavaScript">
66 66
67 // browser version test to include the corresponding navigation-file 67 // browser version test to include the corresponding navigation-file
68 if ((navigator.appName.toLowerCase() == "netscape") && (parseFloat(navigator.appVersion) < 5.0)) { 68 if (navigator.userAgent.toLowerCase().indexOf("opera") > -1) {
69 document.write('<script src="navigation_o6.js"><\/script>');
70 } else if (navigator.userAgent.toLowerCase().indexOf("msie") > -1) {
71 document.write('<script src="navigation_ie.js"><\/script>');
72 } else if (navigator.userAgent.toLowerCase().indexOf("mozilla\/4") > -1) {
69 document.write('<script src="navigation_n4.js"><\/script>'); 73 document.write('<script src="navigation_n4.js"><\/script>');
70 } else if (navigator.appName.toLowerCase() == "netscape") { 74 } else if (navigator.userAgent.toLowerCase().indexOf("mozilla\/5") > -1) {
71 document.write('<script src="navigation_n6.js"><\/script>'); 75 document.write('<script src="navigation_n6.js"><\/script>');
72 } else if ((navigator.appName.toLowerCase() == "microsoft internet explorer") && (parseFloat(navigator.appVersion) >= 4.0)) {
73 document.write('<script src="navigation_ie.js"><\/script>');
74 } else { 76 } else {
75 // alert('Your browser is not directly supported by this client right now.\n\nLoading now the optimised version for Netscape 6, that sticks the most to the w3c specifications.'); 77 alert('Your browser is not directly supported by this client right now.\n\nLoading now the optimised version for Netscape 6, that sticks the most to the w3c specifications.');
76 document.write('<script src="navigation_n6.js"><\/script>'); 78 document.write('<script src="navigation_n6.js"><\/script>');
77 } 79 }
78 80
79 // add module to show the total number of pages (not browser dependant!) 81 // add module to show the total number of pages (not browser dependant!)
80 document.write('<script src="modules\/pagesTotal.js"><\/script>'); 82 document.write('<script src="modules\/pagesTotal.js"><\/script>');