1 2 <div id="status"> 3 <div id="dump"> 4 <button id="dump-status">Dump status</button> 5 <input type="checkbox" id="include-ids"> 6 Include Identifiers 7 </input> 8 </div> 9 <div id="import"> 10 <button id="import-status">Import status</button> 11 </div> 12 <div id="status-data"> 13 <textarea rows="10" cols="30" id="status-text"></textarea> 14 </div> 15 </div> 16 17 <div id='aboutInfo'> 18 <div class="section" jsselect="details"> 19 <h2 jscontent="title"></h2> 20 <table class="aboutDetails"> 21 <tr jsselect="data" 22 jsvalues="class:$this.is_valid ? '' : 'uninitialized'" 23 jseval='highlightIfChanged(this, this.children[1].innerText, stat_value)'> 24 <td class="detail" jscontent="stat_name" width=50%></td> 25 <td class="value" jscontent="stat_value" width=50%></td> 26 </tr> 27 </table> 28 </div> 29 30 <div class="section" style="overflow-x: auto"> 31 <h2>Type Info</h2> 32 <table id="typeInfo"> 33 <tr jsselect="type_status" jsvalues="class:$this.status"> 34 <td jscontent="name" width=50%></td> 35 <td jscontent="value" width=30%></td> 36 <td jscontent="num_entries" width=10%></td> 37 <td jscontent="num_live" width=10%></td> 38 </tr> 39 </table> 40 </div> 41 42 <div class="section" jsdisplay="unrecoverable_error_detected"> 43 <p> 44 <span class="err" jscontent="unrecoverable_error_message"></span> 45 </p> 46 </div> 47 48 <div class="section" jsdisplay="actionable_error_detected"> 49 <p> 50 <h2>Actionable Error</h2> 51 <table id="actionableError"> 52 <tr jsselect="actionable_error"> 53 <td jscontent="stat_name"></td> 54 <td jscontent="stat_value"></td> 55 </tr> 56 </table> 57 </p> 58 </div> 59 </div> 60
