|
| |
14 |
14 |
} |
|
|
| |
15 |
15 |
|
|
|
| |
16 |
16 |
if {$scroll_to ne ""} { |
|
| |
17 |
|
add_body_handler -event load -script [subst -nocommands { |
|
|
| |
|
17 |
add_body_handler -event load -script [subst -nocommands { |
|
|
| |
18 |
18 |
const scrollTarget = document.querySelectorAll('#$scroll_to')[0]; |
|
|
| |
19 |
19 |
window.scrollTo(0, scrollTarget.offsetTop - 90); |
|
|
| |
20 |
20 |
}] |
| |
|
|
| |
113 |
113 |
set html [list size 50] |
|
|
| |
114 |
114 |
} |
|
|
| |
115 |
115 |
} |
|
|
| |
|
116 |
set help_text_suffix [expr {$attr_value eq $default_value \ |
|
|
| |
|
117 |
? "<span style='color: green; font-size: small;'>(value is default)</span>" |
|
|
| |
|
118 |
: "<span style='color: orange; font-size: small;'>(default: $default_value)</span>"}] |
|
|
| |
116 |
119 |
set elm [list ${parameter_name}:text($widget),optional,nospell \ |
|
|
| |
117 |
|
{label {$parameter_name}} \ |
|
|
| |
|
120 |
{label {$parameter_name $help_text_suffix}} \ |
|
|
| |
118 |
121 |
{help_text {$description}} \ |
|
|
| |
119 |
122 |
[list html $html]] |
|
|
| |
120 |
123 |
|