Evergreen/staff_client/chrome/content/evergreen/main/paged_tree_overlay.xul

   1 <?xml version="1.0"?>
   2 <!DOCTYPE overlay SYSTEM "chrome://evergreen/locale/paged_tree.dtd">
   3 <overlay id="paged_tree_overlay"
   4         xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
   5
   6         <script>mw.sdump('D_TRACE','Loading paged_tree_overlay.xul\n');</script>
   7
   8 <commandset id="PagedTree_cmds">
   9
  10         <command id="cmd_prev" />
  11
  12         <command id="cmd_next" />
  13
  14         <command id="cmd_broken" oncommand="
  15                 alert('Not Yet Implemented'); "/>
  16
  17 </commandset>
  18
  19 <!-- main widget for paged_tree -->
  20 <box id="PagedTree_main" flex="1" orient="vertical">
  21         <hbox id="PagedTree_nav">
  22                 <label value="&displaying.results;"/>
  23                 <label id="PagedTree_label_range" value="??? - ???" />
  24                 <label value="&displaying.of;"/>
  25                 <label id="PagedTree_label_results" value="???"/>
  26                 <spacer flex="1"/>
  27                 <button id="PagedTree_button_prev" label="&previous.range;" accesskey="&previous.range.key;" command="cmd_prev" disabled="true"/>
  28                 <button id="PagedTree_button_next" label="&next.range;" accesskey="&next.range.key;" command="cmd_next" disabled="true"/>
  29         </hbox>
  30         <tree id="PagedTree_tree" flex="1">
  31                 <treecols id="PagedTree_columns"/>
  32                 <treechildren id="PagedTree_children"/>
  33         </tree>
  34 </box>
  35
  36 <!-- Accelerator Keys (Accessor Keys are in DTD's) -->
  37 <keyset id="PagedTree_keys">
  38 </keyset>
  39
  40 </overlay>