chrome/browser/resources/net_internals/events_view.html

   1 <!-- ================= Events view =================== -->
   2
   3 <!-- Filter Box: This the top bar which contains the search box.  -->
   4 <div id=events-view-filter-box>
   5   <table width=100%>
   6     <tr>
   7       <td width=1%>
   8         <span id=events-view-filter-help-hover class=mouse-over-help-hover>(?)</span>
   9       </td>
  10       <td width=98%><input type="search" incremental id=events-view-filter-input title="Sort and filter"></td>
  11       <td width=1% id=events-view-filter-count>(1 of 34)</td>
  12     </tr>
  13   </table>
  14 </div>
  15 <!-- Inline filter help -->
  16 <div id=events-view-filter-help class=mouse-over-help>
  17   Sort options:
  18   <ul>
  19     <li>sort:id (default)
  20     <li>sort:desc
  21     <li>sort:duration
  22     <li>sort:type
  23     <li>-sort:&lt;option&gt; Reverses sort order
  24   </ul>
  25
  26   Additional filters:
  27   <ul>
  28     <li>id:#[,#]*
  29     <li>type:&lt;type&gt;[,&lt;type&gt;]*
  30     <li>is:active
  31     <li>is:error
  32     <li>-&lt;filter&gt; Inverts a filter.
  33   </ul>
  34 </div>
  35 <!-- Events Box: This the panel on the left which lists the sources -->
  36 <div id=events-view-source-list>
  37   <table id=events-view-source-list-table cellspacing=0 cellpadding=0 width=100%>
  38     <thead>
  39       <tr>
  40         <td style='border-left:0'><input type=checkbox id=events-view-select-all title="Select all"></td>
  41         <td id=events-view-sort-by-id>ID</td>
  42         <td id=events-view-sort-by-source>Source Type</td>
  43         <td id=events-view-sort-by-description width=99%>Description</td>
  44       </tr>
  45     </thead>
  46     <!-- Events table body: This is where request rows go into -->
  47     <tbody id=events-view-source-list-tbody></tbody>
  48   </table>
  49 </div>
  50 <!-- Splitter Box: This is a handle to resize the vertical divider -->
  51 <div id=events-view-splitter-box class=vertical-splitter></div>
  52 <!-- Details box: This is the panel on the right which shows information -->
  53 <div id=events-view-details-log-box class="event-log content-box"></div>