version 1.183, 2002/07/23 14:17:45
|
version 1.185, 2002/07/24 21:18:36
|
Line 176 sub xmlend {
|
Line 176 sub xmlend {
|
unless (($hidden) && (!$seeid)) { |
unless (($hidden) && (!$seeid)) { |
my $message=$contrib{$idx.':message'}; |
my $message=$contrib{$idx.':message'}; |
$message=~s/\n/\<br \/\>/g; |
$message=~s/\n/\<br \/\>/g; |
|
if (($message=~/\$.+\$/) || ($message=~/\\\[.+\\\]/)) { |
|
$message=&Apache::lontexconvert::converted(\$message); |
|
} |
if ($message) { |
if ($message) { |
if ($hidden) { |
if ($hidden) { |
$message='<font color="#888888">'.$message.'</font>'; |
$message='<font color="#888888">'.$message.'</font>'; |
Line 384 ENDPARM
|
Line 387 ENDPARM
|
menu.switchbutton |
menu.switchbutton |
(8,1,'eval.gif','evaluate','this','gopost("/adm/evaluate",currentURL)'); |
(8,1,'eval.gif','evaluate','this','gopost("/adm/evaluate",currentURL)'); |
menu.switchbutton |
menu.switchbutton |
(8,2,'fdbk.gif','feedback','on this','gopost("/adm/feedback",currentURL)'); |
(8,2,'fdbk.gif','feedback','discuss','gopost("/adm/feedback",currentURL)'); |
menu.switchbutton |
menu.switchbutton |
(8,3,'prt.gif','prepare','printout','gopost("/adm/printout",currentURL)'); |
(8,3,'prt.gif','prepare','printout','gopost("/adm/printout",currentURL)'); |
menu.switchbutton |
menu.switchbutton |