home *** CD-ROM | disk | FTP | other *** search
/ PC Professionell 2006 March / PCpro_2006_03.ISO / files / freeware / greasemonkey-0.6.4-fx.xpi / chrome / chromeFiles / content / pages-overlay.xul < prev    next >
Encoding:
Extensible Markup Language  |  2005-11-30  |  5.2 KB  |  132 lines
  1. <?xml version="1.0"?>
  2.  
  3.  
  4.  
  5.  
  6.  
  7.  
  8.  
  9. <overlay id="pages-overlay" xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
  10.  
  11.  
  12.  
  13.     <script type="application/x-javascript">
  14.  
  15.     <![CDATA[
  16.  
  17.         function PagesControl(ctlPages) {
  18.  
  19.             var includesBox = new PagesBox(document.getElementById("grpIncluded"));
  20.  
  21.             var excludesBox = new PagesBox(document.getElementById("grpExcluded"));
  22.  
  23.  
  24.  
  25.             this.populate = function(script) {
  26.  
  27.                 includesBox.populate(script.includes);
  28.  
  29.                 excludesBox.populate(script.excludes);
  30.  
  31.             }
  32.  
  33.  
  34.  
  35.             this.clear = function() {
  36.  
  37.                 includesBox.clear();
  38.  
  39.                 excludesBox.clear();
  40.  
  41.             }
  42.  
  43.  
  44.  
  45.             function PagesBox(grpBox) {
  46.  
  47.                 var buttons = grpBox.getElementsByTagName("button");
  48.  
  49.                 var self = this;
  50.  
  51.                 var selectedPage = null;
  52.  
  53.  
  54.  
  55.                 this.pages = null;
  56.  
  57.                 this.groupbox = grpBox;
  58.  
  59.                 this.listbox = grpBox.getElementsByTagName("listbox")[0];
  60.  
  61.                 this.btnAdd = buttons[0];
  62.  
  63.                 this.btnEdit = buttons[1];
  64.  
  65.                 this.btnRemove = buttons[2];
  66.  
  67.  
  68.  
  69.                 this.listbox.addEventListener("select", updatePagesBox, true);
  70.  
  71.                 this.btnAdd.addEventListener("command", promptForNewPage, true);
  72.  
  73.                 this.btnEdit.addEventListener("command", promptForEdit, true);
  74.  
  75.                 this.btnRemove.addEventListener("command", remove, true);
  76.  
  77.  
  78.  
  79.                 this.populate = function(pages) {
  80.  
  81.                     this.clear();
  82.  
  83.                     this.pages = pages;
  84.  
  85.  
  86.  
  87.                     for (var i = 0, page = null; (page = self.pages[i]); i++) {
  88.  
  89.                         addPage(page);
  90.  
  91.                     }
  92.  
  93.                 }
  94.  
  95.  
  96.  
  97.                 this.clear = function() {
  98.  
  99.                     this.pages = null;
  100.  
  101.  
  102.  
  103.                     while (this.listbox.hasChildNodes()) {
  104.  
  105.                         this.listbox.removeChild(this.listbox.childNodes[0]);
  106.  
  107.                     }
  108.  
  109.                 }
  110.  
  111.  
  112.  
  113.                 function updatePagesBox(ev) {
  114.  
  115.                     selectedPage = self.listbox.getSelectedItem(0);
  116.  
  117.                     self.btnEdit.disabled = selectedPage == null;
  118.  
  119.                     self.btnRemove.disabled = selectedPage == null;
  120.  
  121.                 }
  122.  
  123.  
  124.  
  125.                 function promptForNewPage(ev) {
  126.  
  127.                     var val = gmPrompt("Enter a new URL below. You can specify multiple pages using the wildcard (*) character.", "http://foo.com/*", "Add Page");
  128.  
  129.                     if (val && val != "") {
  130.  
  131.                         addPage(val);
  132.  
  133.                         self.pages.push(val);
  134.  
  135.                         dirty = true;
  136.  
  137.                     }
  138.  
  139.                 }
  140.  
  141.  
  142.  
  143.                 function promptForEdit(ev) {
  144.  
  145.                     var val = gmPrompt("Modify the URL of the page below. You can specify multiple pages using the wildcard (*) character.", 
  146.  
  147.                         self.listbox.selectedItem.label, "Edit Page");
  148.  
  149.  
  150.  
  151.                     if (val && val != "") {
  152.  
  153.                         self.listbox.selectedItem.label = val;
  154.  
  155.                         self.pages[self.listbox.selectedIndex] = val;
  156.  
  157.  
  158.  
  159.                         dirty = true;
  160.  
  161.                     }
  162.  
  163.                 }
  164.  
  165.  
  166.  
  167.                 function remove(ev) {
  168.  
  169.                     self.pages.splice(self.listbox.selectedIndex, 1);
  170.  
  171.                     self.listbox.removeChild(self.listbox.getSelectedItem(0));
  172.  
  173.  
  174.  
  175.                     // it's sorta wierd that the button stays focused when it is disabled because nothing is selected
  176.  
  177.                     if (self.listbox.length == 0) {
  178.  
  179.                         self.listbox.focus();
  180.  
  181.                         dirty = true;
  182.  
  183.                     }
  184.  
  185.                 }
  186.  
  187.  
  188.  
  189.                 function addPage(pageSpec) {
  190.  
  191.                     var listitem = document.createElement("listitem");
  192.  
  193.                     listitem.setAttribute("label", pageSpec);
  194.  
  195.                     self.listbox.appendChild(listitem);
  196.  
  197.                 }
  198.  
  199.             }
  200.  
  201.         }
  202.  
  203.     ]]>
  204.  
  205.     </script>
  206.  
  207.  
  208.  
  209.     <vbox id="pages-control">
  210.  
  211.         <groupbox id="grpIncluded" orient="vertical">
  212.  
  213.             <caption label="Included pages" />
  214.  
  215.             <hbox style="margin-bottom:.5em;">
  216.  
  217.                 <listbox style="max-height: 8em; overflow: auto" flex="1" />
  218.  
  219.                 <vbox>
  220.  
  221.                     <button label="Add..." />
  222.  
  223.                     <button label="Edit..." disabled="true" />
  224.  
  225.                     <button label="Remove" disabled="true" />
  226.  
  227.                 </vbox>
  228.  
  229.             </hbox>
  230.  
  231.         </groupbox>
  232.  
  233.  
  234.  
  235.         <groupbox id="grpExcluded" orient="vertical">
  236.  
  237.             <caption label="Excluded pages" />
  238.  
  239.             <hbox style="margin-bottom:.5em">
  240.  
  241.                 <listbox style="max-height: 8em; overflow: auto" flex="1" />
  242.  
  243.                 <vbox>
  244.  
  245.                     <button label="Add..." />
  246.  
  247.                     <button label="Edit..." disabled="true" />
  248.  
  249.                     <button label="Remove" disabled="true" />
  250.  
  251.                 </vbox>
  252.  
  253.             </hbox>
  254.  
  255.         </groupbox>
  256.  
  257.      </vbox>
  258.  
  259.  
  260.  
  261. </overlay>
  262.  
  263.