2 * (C) Copyright 2005 Shawn Betts
3 * (C) Copyright 2007-2008 Jeremy Maitin-Shepard
5 * Use, modification, and distribution are subject to the terms specified in the
13 define_window_local_hook("mode_line_hook");
15 define_keywords("$flex", "$align", "$class", "$crop");
16 function generic_element_widget_container (window, container) {
18 this.container = container;
20 generic_element_widget_container.prototype = {
21 add_text_widget: function (widget) {
22 keywords(arguments, $flex = widget.flex,
23 $class = widget.class_name, $crop = widget.crop);
24 var flex = arguments.$flex;
25 var class_name = arguments.$class;
26 var align = arguments.$align;
27 var crop = arguments.$crop;
28 var element = create_XUL(this.window, "label");
30 element.setAttribute("flex", flex);
32 element.setAttribute("align", align);
34 element.setAttribute("class", class_name);
36 element.setAttribute("crop", crop);
37 return this.add_widget(widget, element);
39 add_widget: function (widget, element) {
40 element.conkeror_widget = new generic_widget_element(element, widget);
41 this.container.appendChild(element);
42 return element.conkeror_widget;
44 destroy: function () {
45 var children = this.container.childNodes;
46 for (var i = 0, nchildren = children.length; i < nchildren; ++i)
47 children.item(i).conkeror_widget.destroy();
51 function mode_line (window) {
52 var element = create_XUL(window, "hbox");
53 element.setAttribute("class", "mode-line");
54 /* FIXME: this will need to changed to be buffer-local */
55 var insert_before = window.document.getElementById("minibuffer");
56 insert_before.parentNode.insertBefore(element, insert_before);
57 window.mode_line = this;
58 generic_element_widget_container.call(this, window, element);
59 mode_line_hook.run(window, this);
61 mode_line.prototype = {
62 __proto__: generic_element_widget_container.prototype,
64 uninstall: function () {
65 this.container.parentNode.removeChild(this.window.mode_line.container);
66 generic_element_widget_container.prototype.destroy.call(this);
71 function generic_widget_element (element, widget) {
72 this.element = element;
76 generic_widget_element.prototype = {
78 return this.element.getAttribute("value");
82 this.element.setAttribute("value", v);
85 destroy: function () {
86 this.widget.destroy();
90 this.element.parentNode.removeChild(this.element);
96 function text_widget (window) {
97 this.window_hooks = [];
100 text_widget.prototype = {
101 add_hook: function (hook_name, handler) {
104 handler = function () { obj.update(); };
105 add_hook.call(this.window, hook_name, handler);
106 this.window_hooks.push([hook_name, handler]);
111 attach: function (view) {
116 update: function () {},
118 destroy: function () {
119 for each (let i in this.window_hooks) {
120 remove_hook.call(this.window, i[0], i[1]);
124 remove: function () {
130 define_global_window_mode("mode_line", "window_initialize_early_hook");
132 function current_buffer_name_widget (window) {
133 this.class_name = "current-buffer-name-widget";
134 text_widget.call(this, window);
137 this.add_hook("current_content_buffer_location_change_hook");
138 this.add_hook("select_buffer_hook");
140 current_buffer_name_widget.prototype.__proto__ = text_widget.prototype;
141 current_buffer_name_widget.prototype.update = function () {
142 this.view.text = this.window.buffers.current.description;
145 function current_buffer_scroll_position_widget (window) {
146 this.class_name = "current-buffer-scroll-position-widget";
147 text_widget.call(this, window);
148 this.add_hook("current_buffer_scroll_hook");
149 this.add_hook("select_buffer_hook");
150 this.add_hook("current_content_buffer_location_change_hook");
151 this.add_hook("current_content_buffer_focus_change_hook");
152 this.add_hook("current_special_buffer_generated_hook");
154 current_buffer_scroll_position_widget.prototype.__proto__ = text_widget.prototype;
155 current_buffer_scroll_position_widget.prototype.update = function () {
156 var b = this.window.buffers.current;
157 var scrollX, scrollY, scrollMaxX, scrollMaxY;
158 var w = b.focused_frame;
161 scrollMaxX = w.scrollMaxX;
162 scrollMaxY = w.scrollMaxY;
163 var x = scrollMaxX == 0 ? 100 : Math.round(scrollX / scrollMaxX * 100);
164 var y = scrollMaxY == 0 ? 100 : Math.round(scrollY / scrollMaxY * 100);
165 this.view.text = "(" + x + ", " + y + ")";
168 function clock_widget (window) {
169 this.class_name = "clock-widget";
170 text_widget.call(this, window);
172 this.do_update = function () { obj.update(); };
173 // todo: use one timer for multiple clock widgets
174 this.timer_ID = window.setTimeout(this.do_update, 0);
175 this.timer_timeout = true;
177 clock_widget.prototype.__proto__ = text_widget.prototype;
178 clock_widget.prototype.update = function () {
179 var time = new Date();
180 var hours = time.getHours();
181 var mins = time.getMinutes();
182 this.view.text = (hours<10 ? "0" + hours:hours) + ":" + (mins<10 ?"0" +mins:mins);
183 if (time.getSeconds() > 0 || time.getMilliseconds() > 100) {
184 this.window.clearTimeout(this.timer_ID);
185 var time = time.getSeconds() * 1000 + time.getMilliseconds();
187 this.timer_ID = this.window.setTimeout(this.do_update, time);
188 this.timer_timeout = true;
189 } else if (this.timer_timeout) {
190 this.window.clearTimeout(this.timer_ID);
191 this.timer_ID = this.window.setInterval(this.do_update, 60000);
192 this.timer_timeout = false;
195 clock_widget.prototype.destroy = function () {
196 this.window.clearTimeout(this.timer_ID);
199 function buffer_count_widget (window) {
200 this.class_name = "buffer-count-widget";
201 text_widget.call(this, window);
202 this.add_hook("select_buffer_hook");
203 this.add_hook("create_buffer_hook");
204 this.add_hook("kill_buffer_hook");
206 buffer_count_widget.prototype.__proto__ = text_widget.prototype;
207 buffer_count_widget.prototype.update = function () {
208 this.view.text = ("[" + (this.window.buffers.selected_index+1) + "/" +
209 this.window.buffers.count + "]");
212 function loading_count_widget (window) {
213 this.class_name = "loading-count-widget";
214 text_widget.call(this, window);
216 this.add_hook("content_buffer_started_loading_hook");
217 this.add_hook("content_buffer_finished_loading_hook");
218 this.add_hook("kill_buffer_hook");
220 loading_count_widget.prototype.__proto__ = text_widget.prototype;
221 loading_count_widget.prototype.update = function () {
223 for_each_buffer(function (b) { if (b.loading) count++; });
225 this.view.text = "(" + count + " loading)";
230 function mode_line_adder (widget_constructor) {
231 if (!('mode_line_adder' in widget_constructor))
232 widget_constructor.mode_line_adder = function (window) {
233 window.mode_line.add_text_widget(new widget_constructor(window));
235 return widget_constructor.mode_line_adder;
238 add_hook("mode_line_hook", mode_line_adder(current_buffer_name_widget));
239 add_hook("mode_line_hook", mode_line_adder(clock_widget));
240 add_hook("mode_line_hook", mode_line_adder(current_buffer_scroll_position_widget));
242 mode_line_mode(true);
244 provide("mode-line");