version 1.196, 2002/09/13 20:46:09
|
version 1.197, 2002/10/03 13:34:10
|
Line 363 sub registerurl {
|
Line 363 sub registerurl {
|
my $forcereg=shift; |
my $forcereg=shift; |
my $target = shift; |
my $target = shift; |
my $result = ''; |
my $result = ''; |
|
|
if ($target eq 'edit') { |
if ($target eq 'edit') { |
$result .="<script>\n". |
$result .="<script>\n". |
"if (typeof menu != 'undefined') {menu.currentURL=null;}\n". |
"if (typeof menu != 'undefined') {menu.currentURL=null;}\n". |
Line 575 sub latex_special_symbols {
|
Line 576 sub latex_special_symbols {
|
$current_token=~s/\\/\\char92 /g; |
$current_token=~s/\\/\\char92 /g; |
$current_token=~s/\^/\\char94 /g; |
$current_token=~s/\^/\\char94 /g; |
$current_token=~s/\~/\\char126 /g; |
$current_token=~s/\~/\\char126 /g; |
$current_token=~s/(&[^a-z#])/\\$1/g; |
$current_token=~s/(&[^a-z\#])/\\$1/g; |
$current_token=~s/([^&]\#)/\\$1/g; |
if ($current_token=~/ \#\w/) { |
|
$current_token=~s/ \#(\w)/ \\#$1/; |
|
} else { |
|
$current_token=~s/([^&]\#)/\\$1/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; |
$current_token=~s/>/\$>\$/g; #more |
$current_token=~s/>/\$>\$/g; #more |