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

   1 <?xml version="1.0"?>
   2 <!-- Clamlication: Evergreen Staff Client -->
   3
   4 <!-- Localization -->
   5 <!DOCTYPE page SYSTEM "chrome://evergreen/locale/paged_tree.dtd">
   6
   7 <page id="paged_tree_win"
   8         orient="vertical" style="overflow: auto" width="800" height="500"
   9         sizemode="maximized" persist="width height"
  10         onload="
  11                 params.paged_tree = 'PagedTree_tree';
  12                 params.popup = 'PagedTree_popup';
  13                 params.nav_bar = 'PagedTree_nav';
  14                 params.nav_range = 'PagedTree_label_range';
  15                 params.nav_results = 'PagedTree_label_results';
  16                 params.nav_hits_per_page = 'PagedTree_menulist_hits_per_page';
  17                 params.nav_next = 'PagedTree_button_next';
  18                 params.nav_prev = 'PagedTree_button_prev';
  19                 params.w = window;
  20                 params.app = 'PagedTree';
  21                 mw.OpenILS_init(params);"
  22         onunload="mw.OpenILS_exit(params);"
  23         xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
  24
  25         <script>mw.sdump('D_TRACE','Loading paged_tree.xul\n');</script>
  26
  27         <!-- Stylesheets -->
  28         <?xml-stylesheet href="chrome://global/skin/" type="text/css"?>
  29         <?xml-stylesheet href="chrome://evergreen/skin/evergreen.css" type="text/css"?>
  30         <?xml-stylesheet href="chrome://evergreen/skin/paged_tree.css" type="text/css"?>
  31
  32         <!-- Overlays for this XUL file -->
  33         <?xul-overlay href="chrome://evergreen/content/main/paged_tree_overlay.xul"?>
  34
  35         <!-- XUL'ified abstraction for logic to attach to widgets -->
  36         <commandset id="PagedTree_cmds" />
  37
  38         <!-- Accelerator Keys (Accessor Keys are in DTD's) -->
  39         <keyset id="PagedTree_keys" />
  40
  41         <!-- Context menus -->
  42         <popupset id="PagedTree_popupset" />
  43
  44         <!-- Layout to be filled in by overlays and javascript -->
  45         <box id="PagedTree_main" />
  46
  47 </page>
  48