equal
deleted
inserted
replaced
182 } |
182 } |
183 |
183 |
184 Widgets.TreeView = defclass("TreeView", null, { |
184 Widgets.TreeView = defclass("TreeView", null, { |
185 __init__: function(wdgnode) { |
185 __init__: function(wdgnode) { |
186 jQuery(wdgnode).treeview({toggle: toggleTree, |
186 jQuery(wdgnode).treeview({toggle: toggleTree, |
187 prerendered: true |
187 prerendered: true}); |
188 }); |
|
189 } |
188 } |
190 }); |
189 }); |
191 |
190 |
192 |
191 |
193 /* widget based on SIMILE's timeline widget |
192 /* widget based on SIMILE's timeline widget |