зеркало из https://github.com/mozilla/pjs.git
Родитель
8379d5a411
Коммит
8af04c5fe3
|
@ -238,8 +238,12 @@ sub print_page_head($$) {
|
|||
}
|
||||
if (&is_tree_state_available($tree)) {
|
||||
print "<a NAME=\"open\"></a>";
|
||||
print "The tree is <font size=+2>";
|
||||
print (&is_tree_open($tree) ? 'open' : 'closed');
|
||||
print 'The tree is <font size="+2" ';
|
||||
if (is_tree_open($tree)) {
|
||||
print 'color="green">OPEN';
|
||||
} else {
|
||||
print 'color="red">CLOSED';
|
||||
}
|
||||
print "</font>\n";
|
||||
}
|
||||
}
|
||||
|
|
Загрузка…
Ссылка в новой задаче