2 * (C) Copyright 2007 John J. Foerch
3 * (C) Copyright 2007-2008 Jeremy Maitin-Shepard
5 * Use, modification, and distribution are subject to the terms specified in the
11 var define_window_local_hook = simple_local_hook_definer();
12 var define_window_local_coroutine_hook = simple_local_coroutine_hook_definer();
15 define_hook("make_window_hook");
17 var window_watcher = Cc["@mozilla.org/embedcomp/window-watcher;1"]
18 .getService(Ci.nsIWindowWatcher);
20 function generate_new_window_tag (tag) {
22 var exact_match = false;
23 var en = window_watcher.getWindowEnumerator();
28 re = new RegExp ("^" + tag + "<(\\d+)>$");
30 re = new RegExp ("^(\\d+)$");
31 while (en.hasMoreElements()) {
32 var w = en.getNext().QueryInterface(Ci.nsIDOMWindow);
34 if (tag && w.tag == tag) {
38 var re_result = re.exec(w.tag);
40 existing.push(re_result[1]);
43 if (tag && ! exact_match)
46 existing.sort(function (a, b) { return a - b; });
49 for (var i = 0; i < existing.length; i++) {
50 if (existing[i] < n) continue;
51 if (existing[i] == n) { n++; continue; }
55 return tag + "<" + n + ">";
60 function make_chrome_window (chrome_uri, args) {
61 return window_watcher.openWindow(null, chrome_uri, "_blank",
62 "chrome,dialog=no,all,resizable", args);
65 var conkeror_chrome_uri = "chrome://conkeror-gui/content/conkeror.xul";
67 function make_window (initial_buffer_creator, tag) {
68 var args = { tag: tag,
69 initial_buffer_creator: initial_buffer_creator };
70 var result = make_chrome_window(conkeror_chrome_uri, null);
72 make_window_hook.run(result);
73 var close = result.close;
74 result.close = function () {
75 function attempt_close () {
76 var res = yield window_before_close_hook.run(result);
78 window_close_hook.run(result);
82 co_call(attempt_close());
87 function get_window_by_tag (tag) {
88 var en = window_watcher.getWindowEnumerator();
89 while (en.hasMoreElements()) {
90 var w = en.getNext().QueryInterface(Ci.nsIDOMWindow);
91 if ('tag' in w && w.tag == tag)
97 /* FIXME: decide if this should include not-fully-initialized windows */
98 function for_each_window (func) {
99 var en = window_watcher.getWindowEnumerator();
100 while (en.hasMoreElements()) {
101 var w = en.getNext().QueryInterface(Ci.nsIDOMWindow);
107 function get_recent_conkeror_window () {
108 var wm = Cc['@mozilla.org/appshell/window-mediator;1']
109 .getService(Ci.nsIWindowMediator);
110 var window = wm.getMostRecentWindow("navigator:browser");
111 if (window && ("conkeror" in window))
113 var en = window_watcher.getWindowEnumerator();
114 while (en.hasMoreElements()) {
115 window = en.getNext().QueryInterface(Ci.nsIDOMWindow);
116 if ('conkeror' in window)
122 define_window_local_hook("window_initialize_early_hook");
123 define_window_local_hook("window_initialize_hook");
124 define_window_local_hook("window_initialize_late_hook");
126 var window_extra_argument_list = [];
128 define_variable("window_extra_argument_max_delay", 100);
130 function window_setup_args (window) {
131 if (window.args != null)
134 var cur_time = Date.now();
137 for (i = 0; i < window_extra_argument_list.length; ++i) {
138 var a = window_extra_argument_list[i];
139 if (a.time > cur_time - window_extra_argument_max_delay) {
146 window_extra_argument_list = window_extra_argument_list.slice(i);
151 window.args = result;
154 function window_set_extra_arguments (args) {
155 args.time = Date.now();
156 window_extra_argument_list.push(args);
159 function window_get_this_browser () {
160 return this.buffers.current.browser;
163 function window_initialize (window) {
164 window.conkeror = conkeror;
166 // Used by get_window_from_frame to get an unwrapped window reference
167 window.escape_wrapper = function (x) { x(window); };
169 window_setup_args(window);
173 if ('tag' in window.args)
174 tag = window.args.tag;
175 window.tag = generate_new_window_tag(tag);
177 // Add a getBrowser() function to help certain extensions designed
178 // for Firefox work with conkeror
179 window.getBrowser = window_get_this_browser;
181 window_initialize_early_hook.run(window);
182 delete window.window_initialize_early_hook; // used only once
184 window_initialize_hook.run(window);
185 delete window.window_initialize_hook; // used only once
187 window.setTimeout(function () {
188 window_initialize_late_hook.run(window);
189 delete window.window_initialize_late_hook; // used only once
190 delete window.args; // get rid of args
193 window.addEventListener("close",
195 event.preventDefault();
196 event.stopPropagation();
202 define_window_local_coroutine_hook("window_before_close_hook",
203 RUN_HOOK_UNTIL_FAILURE);
204 define_window_local_hook("window_close_hook", RUN_HOOK);
210 function define_global_window_mode (name, hook_name) {
212 function install (window) {
214 throw new Error(name + " already initialized for window");
215 window[name] = new conkeror[name](window);
217 function uninstall (window) {
219 throw new Error(name + " not initialized for window");
220 window[name].uninstall();
223 define_global_mode(name + "_mode",
224 function () { // enable
225 add_hook(hook_name, install);
226 for_each_window(install);
228 function () { // disable
229 remove_hook(hook_name, install);
230 for_each_window(uninstall);
232 forward_keywords(arguments));
234 ignore_function_for_get_caller_source_code_reference("define_global_window_mode");
243 * Default tile formatter. The page url is ignored. If there is a
244 * page_title, returns: "Page title - Conkeror". Otherwise, it
245 * returns just: "Conkeror".
247 function default_title_formatter (window) {
248 var page_title = window.buffers.current.title;
250 if (page_title && page_title.length > 0)
251 return page_title + " - Conkeror";
256 var title_format_fn = null;
258 function set_window_title (window) {
259 window.document.title = title_format_fn(window);
262 function init_window_title () {
263 title_format_fn = default_title_formatter;
265 add_hook("window_initialize_late_hook", set_window_title);
266 add_hook("current_content_buffer_location_change_hook",
268 set_window_title(buffer.window);
270 add_hook("select_buffer_hook",
272 set_window_title(buffer.window);
274 add_hook("current_buffer_title_change_hook",
276 set_window_title(buffer.window);
283 function call_builtin_command (window, command, clear_mark) {
284 var m = window.minibuffer;
285 if (m.active && m._input_mode_enabled) {
286 m._restore_normal_state();
287 var e = m.input_element;
288 var c = e.controllers.getControllerForCommand(command);
290 if (c && c.isCommandEnabled(command))
291 c.doCommand(command);
296 m.current_state.mark_active = false;
298 function attempt_command (element) {
300 if (element.controllers
301 && (c = element.controllers.getControllerForCommand(command)) != null
302 && c.isCommandEnabled(command))
305 c.doCommand(command);
310 window.buffers.current.mark_active = false;
315 var element = window.buffers.current.focused_element;
316 if (element && attempt_command(element, command))
318 var win = window.buffers.current.focused_frame;
320 if (attempt_command(win, command))
322 if (!win.parent || win == win.parent)
331 * window_set_full_screen sets or toggles the fullScreen and hideChrome
332 * properties of the given window. When fullscreen is a boolean, it sets
333 * it to that value. When it is null or not given, it toggles the current
336 function window_set_full_screen (window, fullscreen) {
337 if (fullscreen === true || fullscreen === false) {
338 window.fullScreen = fullscreen;
339 window.hideChrome = fullscreen;
341 window.fullScreen = ! window.fullScreen;
342 window.hideChrome = window.fullScreen;