![]() ![]() | ![]() |
version 1.8.2.4.2.2, 2020/10/25 20:14:42 | version 1.8.2.4.4.1, 2023/07/05 18:10:06 |
---|---|
Line 374 sub extedit_form { | Line 374 sub extedit_form { |
$rows = 10; | $rows = 10; |
$cols = 45; | $cols = 45; |
if ($type eq 'tool') { | if ($type eq 'tool') { |
$legend = $lt{'ee'}; | |
} else { | |
$legend = $lt{'te'}; | $legend = $lt{'te'}; |
} else { | |
$legend = $lt{'ee'}; | |
} | } |
$legend = '<legend>'.$legend.'</legend>'; | $legend = '<legend>'.$legend.'</legend>'; |
if ($symb) { | if ($symb) { |