177 |
--> |
--> |
178 |
<body> |
<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 |
|
|