navToolbar.html 3.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869
  1. <!DOCTYPE html>
  2. <html>
  3. <head>
  4. <link rel="stylesheet" type="text/css" href="rtwreport.css" />
  5. <link rel="stylesheet" type="text/css" href="css/coder_app.css" />
  6. <script>
  7. function NavOnloadFcn() {
  8. var node = document.getElementById("rtwIdTraceBlock");
  9. var td1 = document.getElementById("td1");
  10. if (node && top.RTW_TraceArgs.instance) {
  11. var sid = top.RTW_TraceArgs.instance.getBlock();
  12. if (sid) {
  13. if (top.RTW_TraceArgs.instance.getNumBlocks() === 1) {
  14. var block = sid;
  15. if (top.RTW_rtwnameSIDMap && top.RTW_rtwnameSIDMap.instance && top.RTW_rtwnameSIDMap.instance.getRtwname(sid)) {
  16. block = top.RTW_rtwnameSIDMap.instance.getRtwname(sid).rtwname;
  17. }
  18. if (block) {
  19. node.textContent = "'" + block + "'";
  20. }
  21. td1.className = "";
  22. } else {
  23. td1.innerHTML = "<b>Highlight code for selected blocks:</b>";
  24. }
  25. } else {
  26. td1.className = "hidden";
  27. }
  28. }
  29. if (top.RTW_TraceInfo && top.RTW_TraceInfo.instance) {
  30. top.RTW_TraceInfo.instance.updateNavState();
  31. }
  32. }
  33. function resize_text() {
  34. var node = document.getElementById("rtwIdTraceBlock");
  35. if (node) {
  36. node.style.maxWidth = "" + (window.innerWidth - 450) + "px";
  37. }
  38. top.resize_NavToolbar_frame();
  39. }
  40. </script>
  41. </head>
  42. <body class="nav_toolbar" onload="NavOnloadFcn(); resize_text();" onresize="resize_text();">
  43. <table class="nav_table" id="rtwIdTracePanel">
  44. <col style="width: 90%;">
  45. <col style="width: 150px;">
  46. <col style="width: 150px;">
  47. <tr>
  48. <td title="Navigation control for highlighted code" id="td1">
  49. <b>Highlight code for block:</b>
  50. <div id="rtwIdTraceBlock" style="overflow: hidden;text-overflow:ellipsis;white-space: nowrap"></div>
  51. </td>
  52. <td style="white-space:nowrap">
  53. <INPUT class="button" TYPE="button" VALUE="<<" style="width: 45px; height: 2em" ID="rtwIdButtonFirst" ONCLICK="if (top.rtwGoFirst) top.rtwGoFirst();" title="goto the first highlighted line" />
  54. <INPUT class="button" TYPE="button" VALUE="<" style="width: 45px; height: 2em" ID="rtwIdButtonPrev" ONCLICK="if (top.rtwGoPrev) top.rtwGoPrev();" disabled="disabled" title="goto the previous highlighted line"/>
  55. <span id="rtwIdTraceNumber"></span>
  56. <INPUT class="button" TYPE="button" VALUE=">" style="width: 45px; height: 2em" ID="rtwIdButtonNext" ONCLICK="if (top.rtwGoNext) top.rtwGoNext();" disabled="disabled" title="goto the next highlighted line"/>
  57. <INPUT class="button" TYPE="button" VALUE=">>" style="width: 45px; height: 2em" ID="rtwIdButtonLast" ONCLICK="if (top.rtwGoLast) top.rtwGoLast();" title="goto the last highlighted line" />
  58. </td>
  59. <td>
  60. <INPUT class="button" TYPE="button" VALUE="Remove Highlights" style="width: 150px; height: 2em" ID="rtwIdButtonRemove" ONCLICK="if (top.removeInCodeTraceHighlight()) top.removeInCodeTraceHighlight()" title="remove highlighted lines"/>
  61. </td>
  62. </tr>
  63. </table>
  64. </body>
  65. </html>
  66. </table>
  67. <!-- LocalWords: Onload px ONCLICK
  68. -->