version 1.31, 2003/10/14 18:36:54
|
version 1.32, 2003/10/15 18:01:10
|
Line 748 sub Create_PrgWin {
|
Line 748 sub Create_PrgWin {
|
"<body bgcolor=\"#88DDFF\">". |
"<body bgcolor=\"#88DDFF\">". |
"<h4>$heading</h4>". |
"<h4>$heading</h4>". |
"<form name=popremain>". |
"<form name=popremain>". |
'<input type="text" size="55" name="remaining" value="Starting"></form>'. |
'<input type="text" size="55" name="remaining" value="'. |
|
&mt('Starting').'"></form>'. |
"</body></html>\');". |
"</body></html>\');". |
"popwin.document.close();". |
"popwin.document.close();". |
"</script>"); |
"</script>"); |
Line 803 sub Increment_PrgWin {
|
Line 804 sub Increment_PrgWin {
|
$lasttime = sprintf("%3.2f",$lasttime); |
$lasttime = sprintf("%3.2f",$lasttime); |
} |
} |
if ($lasttime == 1) { |
if ($lasttime == 1) { |
$lasttime = '('.$lasttime.' '.&mt('second for').' '.&mt($extraInfo).')'; |
$lasttime = '('.$lasttime.' '.&mt('second for').' '.$extraInfo.')'; |
} else { |
} else { |
$lasttime = '('.$lasttime.' '.&mt('seconds for').' '.&mt($extraInfo).')'; |
$lasttime = '('.$lasttime.' '.&mt('seconds for').' '.$extraInfo.')'; |
} |
} |
# |
# |
my $user_browser = $ENV{'browser.type'} if (exists($ENV{'browser.type'})); |
my $user_browser = $ENV{'browser.type'} if (exists($ENV{'browser.type'})); |