File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -442,8 +442,14 @@ <h2 id="propertyTriage"><a href="#propertyTriage">propertyTriage</a></h2>
442442 < h2 id ="refreshTree "> < a href ="#refreshTree "> refreshTree</ a > </ h2 >
443443 < script id ="script-refreshTree ">
444444 window . addEventListener ( 'DOMContentLoaded' , ( event ) => {
445- // const result = UI.widgets.refreshTree()
446- // $('#div-refreshTree').appendChild(document.createTextNode(result))
445+ setInterval ( ( ) => {
446+ UI . widgets . refreshTree ( document . body )
447+ } , 1000 )
448+ const refreshable = document . createElement ( 'p' )
449+ refreshable . refresh = ( ) => {
450+ refreshable . innerText = new Date ( ) . getTime ( )
451+ }
452+ $ ( '#div-refreshTree' ) . appendChild ( refreshable )
447453 } )
448454 </ script >
449455 < pre id ="viewSource-refreshTree "> </ pre > < script > $ ( '#viewSource-refreshTree' ) . innerHTML = $ ( '#script-refreshTree' ) . innerText </ script >
You can’t perform that action at this time.
0 commit comments