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="universal_cmds">
   9
  10         <command id="cmd_broken" oncommand="
  11                 alert('Not Yet Implemented'); "/>
  12
  13 </commandset>
  14
  15 <!-- main widget for paged_tree -->
  16 <box id="PagedTree_main" flex="1" orient="vertical">
  17         <popupset>
  18                 <popup id="PagedTree_popup"/>
  19         </popupset>
  20         <hbox id="PagedTree_insert1" />
  21         <hbox id="PagedTree_nav" name="nav"/>
  22         <hbox id="PagedTree_insert2" />
  23         <tree id="PagedTree_tree" flex="1" enableColumnDrag="true" name="tree">
  24                 <treecols id="PagedTree_columns"/>
  25                 <treechildren id="PagedTree_children" context="PagedTree_popup"/>
  26         </tree>
  27         <hbox id="PagedTree_insert3" />
  28 </box>
  29
  30 <hbox id="PagedTree_nav">
  31         <label value="&displaying.results;"/>
  32         <label id="PagedTree_label_range" value="??? - ???" name="label_range"/>
  33         <label value="&displaying.of;"/>
  34         <label id="PagedTree_label_results" value="???" name="label_results"/>
  35         <spacer flex="1"/>
  36         <label id="ptnl1" value="&displaying.hits_per_page;"/>
  37         <menulist id="PagedTree_menulist_hits_per_page" name="hits_per_page">
  38                 <menupopup id="ptnmp">
  39                         <menuitem id="ptnm0" label="10" value="10"  />
  40                         <menuitem id="ptnm1" label="20" value="20" selected="true" />
  41                         <menuitem id="ptnm2" label="30" value="30" />
  42                         <menuitem id="ptnm3" label="40" value="40" />
  43                         <menuitem id="ptnm4" label="50" value="50" />
  44                         <menuitem id="ptnm5" label="60" value="60" />
  45                         <menuitem id="ptnm6" label="70" value="70" />
  46                         <menuitem id="ptnm7" label="80" value="80" />
  47                         <menuitem id="ptnm8" label="90" value="90" />
  48                         <menuitem id="ptnm9" label="100" value="100" />
  49                 </menupopup>
  50         </menulist>
  51         <button id="PagedTree_button_prev" label="&previous.range;" accesskey="&previous.range.key;" disabled="true" name="button_prev"/>
  52         <button id="PagedTree_button_next" label="&next.range;" accesskey="&next.range.key;" disabled="true" name="button_next"/>
  53 </hbox>
  54
  55 <!-- Context menus -->
  56 <popupset id="universal_popupset">
  57 </popupset>
  58
  59 <!-- Accelerator Keys (Accessor Keys are in DTD's) -->
  60 <keyset id="PagedTree_keys">
  61 </keyset>
  62
  63 </overlay>