version 1.198, 2002/10/03 15:04:29
|
version 1.201, 2002/10/11 20:52:13
|
Line 100 use Apache::lonnet();
|
Line 100 use Apache::lonnet();
|
use Apache::File(); |
use Apache::File(); |
use Apache::loncommon(); |
use Apache::loncommon(); |
use Apache::lonfeedback(); |
use Apache::lonfeedback(); |
|
use Apache::lonmsg(); |
|
|
#================================================== Main subroutine: xmlparse |
#================================================== Main subroutine: xmlparse |
#debugging control, to turn on debugging modify the correct handler |
#debugging control, to turn on debugging modify the correct handler |
Line 382 sub registerurl {
|
Line 383 sub registerurl {
|
$Apache::lonxml::registered=1; |
$Apache::lonxml::registered=1; |
my $nothing=''; |
my $nothing=''; |
if ($ENV{'browser.type'} eq 'explorer') { $nothing='javascript:void(0);'; } |
if ($ENV{'browser.type'} eq 'explorer') { $nothing='javascript:void(0);'; } |
|
my $newmail=''; |
|
if (&Apache::lonmsg::newmail()) { |
|
$newmail='menu.setstatus("you have","messages");'; |
|
} |
my $timesync='menu.syncclock(1000*'.time.');'; |
my $timesync='menu.syncclock(1000*'.time.');'; |
if (($ENV{'REQUEST_URI'}!~/^\/(res\/)*adm\//) || ($forcereg)) { |
if (($ENV{'REQUEST_URI'}!~/^\/(res\/)*adm\//) || ($forcereg)) { |
my $hwkadd=''; |
my $hwkadd=''; |
Line 411 ENDPARM
|
Line 416 ENDPARM
|
menu=window.open("$nothing","LONCAPAmenu","",false); |
menu=window.open("$nothing","LONCAPAmenu","",false); |
menu.clearTimeout(menu.menucltim); |
menu.clearTimeout(menu.menucltim); |
$timesync |
$timesync |
|
$newmail |
menu.currentURL=window.location.pathname; |
menu.currentURL=window.location.pathname; |
menu.reloadURL=window.location.pathname; |
menu.reloadURL=window.location.pathname; |
menu.currentStale=0; |
menu.currentStale=0; |
Line 582 sub latex_special_symbols {
|
Line 588 sub latex_special_symbols {
|
if ($current_token=~/ \#\w/) { |
if ($current_token=~/ \#\w/) { |
$current_token=~s/ \#(\w)/ \\#$1/; |
$current_token=~s/ \#(\w)/ \\#$1/; |
} else { |
} else { |
$current_token=~s/([^&]\#)/\\$1/g; |
$current_token=~s/([^&])(\#)/$1\\$2/g; |
} |
} |
$current_token=~s/(\$|_|{|})/\\$1/g; |
$current_token=~s/(\$|_|{|})/\\$1/g; |
$current_token=~s/\\char92 /\\texttt{\\char92}/g; |
$current_token=~s/\\char92 /\\texttt{\\char92}/g; |