modules/tab-bar.js

   1 /**
   2  * (C) Copyright 2008 Jeremy Maitin-Shepard
   3  *
   4  * Use, modification, and distribution are subject to the terms specified in the
   5  * COPYING file.
   6 **/
   7
   8 in_module(null);
   9
  10 require("favicon.js");
  11 require("mode.js");
  12
  13 function tab_bar (window) {
  14     window.tab_bar = this;
  15     var element = create_XUL(window, "arrowscrollbox");
  16     element.setAttribute("id", "tab-bar");
  17     element.setAttribute("orient", "horizontal");
  18     var after = window.buffers.container;
  19     this.window = window;
  20     this.element = element;
  21     after.parentNode.insertBefore(element, after);
  22
  23     add_hook.call(window, "select_buffer_hook", tab_bar_select_buffer);
  24     add_hook.call(window, "create_buffer_early_hook", tab_bar_add_buffer);
  25     add_hook.call(window, "kill_buffer_hook", tab_bar_kill_buffer);
  26     add_hook.call(window, "create_buffer_hook", tab_bar_update_buffer_title);
  27     add_hook.call(window, "buffer_title_change_hook", tab_bar_update_buffer_title);
  28     add_hook.call(window, "buffer_description_change_hook", tab_bar_update_buffer_title);
  29     add_hook.call(window, "buffer_icon_change_hook", tab_bar_update_buffer_icon);
  30
  31     window.buffers.for_each(tab_bar_add_buffer);
  32     this.update_multiple_attribute();
  33     if (window.buffers.current != null)
  34         tab_bar_select_buffer(window.buffers.current);
  35 }
  36 tab_bar.prototype.destroy = function () {
  37     remove_hook.call(this.window, "select_buffer_hook", tab_bar_select_buffer);
  38     remove_hook.call(this.window, "create_buffer_early_hook", tab_bar_add_buffer);
  39     remove_hook.call(this.window, "kill_buffer_hook", tab_bar_kill_buffer);
  40     remove_hook.call(this.window, "create_buffer_hook", tab_bar_update_buffer_title);
  41     remove_hook.call(this.window, "buffer_title_change_hook", tab_bar_update_buffer_title);
  42     remove_hook.call(this.window, "buffer_description_change_hook", tab_bar_update_buffer_title);
  43     remove_hook.call(this.window, "buffer_icon_change_hook", tab_bar_update_buffer_icon);
  44     this.window.buffers.for_each(function (b) { delete b.tab; });
  45     this.selected_buffer = null;
  46     this.element.parentNode.removeChild(this.element);
  47     delete this.window.tab_bar;
  48 };
  49 tab_bar.prototype.update_multiple_attribute = function () {
  50     if (this.window.buffers.count > 1)
  51         this.element.setAttribute("multiple", "true");
  52     else
  53         this.element.setAttribute("multiple", "false");
  54 };
  55
  56 function tab_bar_add_buffer (b) {
  57     var t = b.window.tab_bar;
  58     t.update_multiple_attribute();
  59     var tab = create_XUL(b.window, "hbox");
  60     tab.setAttribute("class", "tab");
  61     tab.addEventListener("click", function () {
  62             if (!b.dead)
  63                 b.window.buffers.current = b;
  64         }, false /* not capturing */);
  65     tab.setAttribute("selected", "false");
  66     var image = create_XUL(b.window, "image");
  67     image.setAttribute("class", "tab-icon");
  68     if (b.icon != null)
  69         image.setAttribute("src", b.icon);
  70     var label = create_XUL(b.window, "label");
  71     label.setAttribute("class", "tab-label");
  72     label.setAttribute("crop", "end");
  73     var button = create_XUL(b.window, "toolbarbutton");
  74     button.setAttribute("class", "tab-close-button");
  75     button.addEventListener("click", function (event) {
  76             kill_buffer(b);
  77             event.stopPropagation();
  78         }, false /* not capturing */);
  79     tab.appendChild(image);
  80     tab.appendChild(label);
  81     tab.appendChild(button);
  82     tab.tab_label = label;
  83     tab.tab_image = image;
  84     t.element.appendChild(tab);
  85     b.tab = tab;
  86     tab_bar_update_buffer_title(b);
  87 }
  88
  89 function tab_bar_kill_buffer (b) {
  90     var t = b.window.tab_bar;
  91     t.update_multiple_attribute();
  92     if (t.selected_buffer == b)
  93         t.selected_buffer = null;
  94     b.tab.parentNode.removeChild(b.tab);
  95     delete b.tab;
  96 }
  97
  98 function tab_bar_select_buffer (b) {
  99     var t = b.window.tab_bar;
 100     if (t.selected_buffer != null)
 101         t.selected_buffer.tab.setAttribute("selected", "false");
 102     t.selected_buffer = b;
 103     b.tab.setAttribute("selected", "true");
 104     t.element.ensureElementIsVisible(b.tab);
 105 }
 106
 107 function tab_bar_update_buffer_title (b) {
 108     var title = b.title;
 109     if (title == null || title.length == 0)
 110         title = b.description;
 111     b.tab.tab_label.setAttribute("value", title);
 112 }
 113
 114 function tab_bar_update_buffer_icon (b) {
 115     if (b.icon != null)
 116         b.tab.tab_image.setAttribute("src", b.icon);
 117     else
 118         b.tab.tab_image.removeAttribute("src");
 119 }
 120
 121 function tab_bar_install (window) {
 122     if (window.tab_bar)
 123         throw new Error("tab bar already initialized for window");
 124     new tab_bar(window);
 125 }
 126
 127 function tab_bar_uninstall (window) {
 128     if (!window.tab_bar)
 129         throw new Error("tab bar not initialized for window");
 130     window.tab_bar.destroy();
 131 }
 132
 133 define_global_mode("tab_bar_mode",
 134                    function () { // enable
 135                        add_hook("window_initialize_hook", tab_bar_install);
 136                        for_each_window(tab_bar_install);
 137                    },
 138                    function () { // disable
 139                        remove_hook("window_initialize_hook", tab_bar_install);
 140                        for_each_window(tab_bar_uninstall);
 141                    });
 142
 143 tab_bar_mode(true);
 144
 145 provide("new-tabs");
 146 provide("tab-bar");