version 1.174, 2002/05/24 20:51:55
|
version 1.175, 2002/05/29 16:22:09
|
Line 370 ENDPARM
|
Line 370 ENDPARM
|
menu.clearTimeout(menu.menucltim); |
menu.clearTimeout(menu.menucltim); |
$timesync |
$timesync |
menu.currentURL=window.location.pathname; |
menu.currentURL=window.location.pathname; |
|
menu.reloadURL=window.location.pathname; |
menu.currentStale=0; |
menu.currentStale=0; |
menu.clearbut(3,1); |
menu.clearbut(3,1); |
menu.switchbutton |
menu.switchbutton |
Line 396 ENDPARM
|
Line 397 ENDPARM
|
function LONCAPAstale() { |
function LONCAPAstale() { |
menu=window.open("$nothing","LONCAPAmenu","",false); |
menu=window.open("$nothing","LONCAPAmenu","",false); |
menu.currentStale=1; |
menu.currentStale=1; |
menu.switchbutton |
if (menu.reloadURL!='' && menu.reloadURL!= null) { |
(3,1,'reload.gif','return','location','go(currentURL)'); |
menu.switchbutton |
|
(3,1,'reload.gif','return','location','go(reloadURL)'); |
|
} |
menu.clearbut(7,1); |
menu.clearbut(7,1); |
menu.clearbut(7,2); |
menu.clearbut(7,2); |
menu.clearbut(7,3); |
menu.clearbut(7,3); |