172 |
<script type="text/javascript" src="$js_url"></script> |
<script type="text/javascript" src="$js_url"></script> |
173 |
</head> |
</head> |
174 |
|
|
175 |
|
<!-- |
176 |
<body onLoad="show_hide_display(show,hide);"> |
<body onLoad="show_hide_display(show,hide);"> |
177 |
|
--> |
178 |
|
<body> |
179 |
|
|
180 |
<div style="float: right; width: 10em;"> |
<div style="float: right; width: 10em; text-align: center; margin: 0.5m; background: #e0e0e0; border: 1px dashed #c0c0c0; z-index: 1;"> |
181 |
Folding: |
Folding: |
182 |
<a href="#" onClick="show_hide_display(show,hide);">default</a> |
<br/> |
183 |
|
<a href="#" onClick="back_display();">«</a> <a href="#" onClick="apply_changed_display();">default</a> <a href="#" onClick="forward_display();">»</a> |
184 |
|
<br/> |
185 |
|
<a href="#" onClick="show_hide_display(show,hide);">reset</a> |
186 |
<a href="#" onClick="show_display(show); show_display(hide);">all</a> |
<a href="#" onClick="show_display(show); show_display(hide);">all</a> |
187 |
<a href="#" onClick="hide_display(hide); hide_display(show);">none</a> |
<a href="#" onClick="hide_display(hide); hide_display(show);">none</a> |
188 |
<a href="#" onClick="alert('show: '+show.length+', hide: '+hide.length);">debug</a> |
<br/> |
189 |
|
<a href="#" onClick="alert('show: '+show.length+', hide: '+hide.length+', changed:'+changed_display_ids.length+', positin: '+changed_display_pos);">debug</a> |
190 |
</div> |
</div> |
191 |
|
|
|
|
|
192 |
<ul> |
<ul> |
193 |
}; |
}; |
194 |
|
|
368 |
|
|
369 |
print HTML " " x $level . |
print HTML " " x $level . |
370 |
qq{<a name="mfn$mfn"></a>\n <ul id="mfn$mfn"}. |
qq{<a name="mfn$mfn"></a>\n <ul id="mfn$mfn"}. |
371 |
($style ? ' style="$style"' : ""). |
($style ? ' style="'.$style.'"' : ''). |
372 |
qq{>\n}; |
qq{>\n}; |
373 |
|
|
374 |
if ($style) { |
if ($style) { |