modules/commands.js

   1 /**
   2  * (C) Copyright 2004-2007 Shawn Betts
   3  * (C) Copyright 2007-2010 John J. Foerch
   4  * (C) Copyright 2007-2008 Jeremy Maitin-Shepard
   5  *
   6  * Use, modification, and distribution are subject to the terms specified in the
   7  * COPYING file.
   8 **/
   9
  10 define_coroutine_hook("before_quit_hook", RUN_HOOK_UNTIL_FAILURE);
  11 define_hook("quit_hook");
  12
  13 function quit () {
  14     var res = yield before_quit_hook.run();
  15     if (res) {
  16         quit_hook.run();
  17         var appStartup = Cc["@mozilla.org/toolkit/app-startup;1"]
  18             .getService(Ci.nsIAppStartup);
  19         appStartup.quit(appStartup.eAttemptQuit);
  20     }
  21 }
  22 interactive("quit",
  23     "Quit Conkeror",
  24     quit);
  25
  26
  27 function show_conkeror_version (window) {
  28     var xulrunner_version = Cc['@mozilla.org/xre/app-info;1']
  29         .getService(Ci.nsIXULAppInfo)
  30         .platformVersion;
  31     window.minibuffer.message("Conkeror "+conkeror.version+
  32                               " (XULRunner "+xulrunner_version+
  33                               ", "+get_os()+")");
  34 }
  35 interactive("conkeror-version",
  36     "Show version information for Conkeror.",
  37     function (I) { show_conkeror_version(I.window); });
  38 interactive("version",
  39     "Show version information for Conkeror.",
  40     "conkeror-version");
  41
  42 /* FIXME: maybe this should be supported for non-browser buffers */
  43 function scroll_horiz_complete (buffer, n) {
  44     var w = buffer.focused_frame;
  45     w.scrollTo (n > 0 ? w.scrollMaxX : 0, w.scrollY);
  46 }
  47 interactive("scroll-beginning-of-line",
  48     "Scroll the current frame all the way to the left.",
  49     function (I) { scroll_horiz_complete(I.buffer, -1); });
  50
  51 interactive("scroll-end-of-line",
  52     "Scroll the current frame all the way to the right.",
  53     function (I) { scroll_horiz_complete(I.buffer, 1); });
  54
  55 interactive("scroll-top-left",
  56     "Scroll the current frame all the way to the top left",
  57      function (I) { I.buffer.do_command("cmd_scrollTop");
  58                     scroll_horiz_complete(I.buffer, -1); });
  59
  60
  61 function delete_window (window) {
  62     window.window.close();
  63 }
  64 interactive("delete-window",
  65     "Delete the current window.",
  66     function (I) { delete_window(I.window); });
  67
  68 interactive("jsconsole",
  69     "Open the JavaScript console.",
  70     "find-url-new-buffer",
  71     $browser_object = "chrome://global/content/console.xul");
  72
  73
  74 /**
  75  * Given a callback func and an interactive context I, call func, passing
  76  * either a focused field, or the minibuffer's input element if the
  77  * minibuffer is active. Afterward, call `scroll_selection_into_view' on
  78  * the field. See `paste_x_primary_selection' and `open_line' for
  79  * examples.
  80  */
  81 function call_on_focused_field (I, func) {
  82     var m = I.window.minibuffer;
  83     var s = m.current_state;
  84     if (m._input_mode_enabled) {
  85         m._restore_normal_state();
  86         var e = m.input_element;
  87     } else
  88         var e = I.buffer.focused_element;
  89     func(e);
  90     scroll_selection_into_view(e);
  91     if (s && s.handle_input)
  92         s.handle_input(m);
  93 }
  94
  95
  96 /**
  97  * Replace the current region with modifier(selection). Deactivates region and
  98  * sets point to the end of the inserted text, unless keep_point is true, in
  99  * which case the point will be left at the beginning of the inserted text.
 100  */
 101 function modify_region (field, modifier, keep_point) {
 102     if (field.getAttribute("contenteditable") == 'true') {
 103         // richedit
 104         var doc = field.ownerDocument;
 105         var win = doc.defaultView;
 106         doc.execCommand("insertHTML", false,
 107                         html_escape(modifier(win.getSelection().toString()))
 108                             .replace(/\n/g, '<br>')
 109                             .replace(/  /g, ' &nbsp;'));
 110     } else {
 111         // normal text field
 112         var replacement =
 113             modifier(field.value.substring(field.selectionStart, field.selectionEnd+1));
 114         var point = field.selectionStart;
 115         field.value =
 116             field.value.substr(0, field.selectionStart) + replacement +
 117             field.value.substr(field.selectionEnd);
 118         if (!keep_point) point += replacement.length;
 119         field.setSelectionRange(point, point);
 120     }
 121 }
 122
 123
 124 function paste_x_primary_selection (field) {
 125     modify_region(field, function (str) read_from_x_primary_selection());
 126 }
 127 interactive("paste-x-primary-selection",
 128     "Insert the contents of the X primary selection into the selected field or "+
 129     "minibuffer. Deactivates the region if it is active, and leaves the point "+
 130     "after the inserted text.",
 131     function (I) call_on_focused_field(I, paste_x_primary_selection));
 132
 133
 134 function open_line (field) {
 135     modify_region(field, function() "\n", true);
 136 }
 137 interactive("open-line",
 138     "If there is an active region, replace is with a newline, otherwise just "+
 139     "insert a newline. In both cases leave point before the inserted newline.",
 140     function (I) call_on_focused_field(I, open_line));
 141
 142
 143 function transpose_chars (field) {
 144     var value = field.value;
 145     var caret = field.selectionStart; // Caret position.
 146     var length = value.length;
 147
 148     // If we have less than two character in the field or if we are at the
 149     // beginning of the field, do nothing.
 150     if (length < 2 || caret == 0)
 151         return;
 152
 153     // If we are at the end of the field, switch places on the two last
 154     // characters. TODO: This should happen at the end of every line, not only
 155     // at the end of the field.
 156     if (caret == length)
 157         caret--;
 158
 159     // Do the transposing.
 160     field.value = switch_subarrays(value, caret - 1, caret, caret, caret + 1);
 161
 162     // Increment the caret position. If this is not done, the caret is left at
 163     // the end of the field as a result of the replacing of contents.
 164     field.selectionStart = caret + 1;
 165     field.selectionEnd = caret + 1;
 166 }
 167 interactive("transpose-chars",
 168     "Interchange characters around point, moving forward one character.",
 169     function (I) call_on_focused_field(I, transpose_chars));
 170
 171
 172 interactive("execute-extended-command",
 173     "Call a command specified in the minibuffer.",
 174     function (I) {
 175         var prefix = I.P;
 176         var boc = I.browser_object;
 177         var prompt = "M-x";
 178         if (I.key_sequence)
 179             prompt = I.key_sequence.join(" ");
 180         if (boc)
 181             prompt += ' ['+boc.name+']';
 182         if (prefix !== null && prefix !== undefined) {
 183             if (typeof prefix == "object")
 184                 prompt += prefix[0] == 4 ? " C-u" : " "+prefix[0];
 185             else
 186                 prompt += " "+prefix;
 187         }
 188         var command = yield I.minibuffer.read_command($prompt = prompt);
 189         call_after_timeout(function () {
 190             input_handle_command.call(I.window, new command_event(command));
 191         }, 0);
 192     },
 193     $prefix = true);
 194
 195
 196 /// built in commands
 197 // see: http://www.xulplanet.com/tutorials/xultu/commandupdate.html
 198
 199 // Performs a command on a browser buffer content area
 200
 201
 202 define_builtin_commands(
 203     "",
 204     function (I, command) {
 205         var buffer = I.buffer;
 206         try {
 207             buffer.do_command(command);
 208         } catch (e) {
 209             /* Ignore exceptions */
 210         }
 211     },
 212     function (I) {
 213         I.buffer.mark_active = !I.buffer.mark_active;
 214     },
 215     function (I) I.buffer.mark_active,
 216     false
 217 );
 218
 219 define_builtin_commands(
 220     "caret-",
 221     function (I, command) {
 222         var buffer = I.buffer;
 223         try {
 224             buffer.do_command(command);
 225         } catch (e) {
 226             /* Ignore exceptions */
 227         }
 228     },
 229     function (I) {
 230         I.buffer.mark_active = !I.buffer.mark_active;
 231     },
 232     function (I) I.buffer.mark_active,
 233     'caret');
 234
 235 function get_link_text () {
 236     var e = document.commandDispatcher.focusedElement;
 237     if (e && e.getAttribute("href")) {
 238         return e.getAttribute("href");
 239     }
 240     return null;
 241 }
 242
 243
 244 /*
 245 function copy_email_address (loc)
 246 {
 247     // Copy the comma-separated list of email addresses only.
 248     // There are other ways of embedding email addresses in a mailto:
 249     // link, but such complex parsing is beyond us.
 250     var qmark = loc.indexOf( "?" );
 251     var addresses;
 252
 253     if ( qmark > 7 ) {                   // 7 == length of "mailto:"
 254         addresses = loc.substring( 7, qmark );
 255     } else {
 256         addresses = loc.substr( 7 );
 257     }
 258
 259     //XXX: the original code, which we got from firefox, unescapes the string
 260     //     using the current character set.  To do this in conkeror, we
 261     //     *should* use an interactive method that gives us the character set,
 262     //     rather than fetching it by side-effect.
 263
 264     //     // Let's try to unescape it using a character set
 265     //     // in case the address is not ASCII.
 266     //     try {
 267     //         var characterSet = this.target.ownerDocument.characterSet;
 268     //         const textToSubURI = Components.classes["@mozilla.org/intl/texttosuburi;1"]
 269     //             .getService(Components.interfaces.nsITextToSubURI);
 270     //         addresses = textToSubURI.unEscapeURIForUI(characterSet, addresses);
 271     //     }
 272     //     catch(ex) {
 273     //         // Do nothing.
 274     //     }
 275
 276     writeToClipboard(addresses);
 277     message("Copied '" + addresses + "'");
 278 }
 279 interactive("copy-email-address", copy_email_address, ['focused_link_url']);
 280 */
 281
 282 /* FIXME: fix this command */
 283 /*
 284 interactive("source",
 285             "Load a JavaScript file.",
 286             function (fo) { load_rc (fo.path); }, [['f', function (a) { return "Source File: "; }, null, "source"]]);
 287 */
 288 function reinit (window) {
 289     var path;
 290     try {
 291         path = load_rc();
 292         window.minibuffer.message("Loaded: " + path);
 293     } catch (e) {
 294         window.minibuffer.message("Failed to load: "+path);
 295     }
 296 }
 297
 298 interactive("reinit",
 299             "Reload the Conkeror rc file.",
 300             function (I) { reinit(I.window); });
 301
 302 interactive("help-page", "Open the Conkeror help page.",
 303             "find-url-new-buffer",
 304             $browser_object = "chrome://conkeror-help/content/help.html");
 305
 306 interactive("tutorial", "Open the Conkeror tutorial.",
 307             "find-url-new-buffer",
 308             $browser_object = "chrome://conkeror-help/content/tutorial.html");
 309
 310 function univ_arg_to_number (prefix, default_value) {
 311     if (prefix == null) {
 312         if (default_value == null)
 313             return 1;
 314         else
 315             return default_value;
 316     }
 317     if (typeof prefix == "object")
 318         return prefix[0];
 319     return prefix;
 320 }
 321
 322 function eval_expression (window, s) {
 323     // eval in the global scope.
 324
 325     // In addition, the following variables are available:
 326     // var window;
 327     var buffer = window.buffers.current;
 328     var result = eval(s);
 329     if (result !== undefined) {
 330         window.minibuffer.message(String(result));
 331     }
 332 }
 333 interactive("eval-expression",
 334     "Evaluate JavaScript statements.",
 335     function (I) {
 336         eval_expression(
 337             I.window,
 338             (yield I.minibuffer.read($prompt = "Eval:",
 339                                      $history = "eval-expression",
 340                                      $completer = javascript_completer(I.buffer))));
 341     });
 342
 343 function show_extension_manager () {
 344     return conkeror.window_watcher.openWindow(
 345         null,
 346         "chrome://mozapps/content/extensions/extensions.xul?type=extensions",
 347         "ExtensionsWindow",
 348         "resizable=yes,dialog=no",
 349         null);
 350 }
 351 interactive("extensions",
 352     "Open the extensions manager in a new window.",
 353     show_extension_manager);
 354
 355 function print_buffer (buffer) {
 356     buffer.top_frame.print();
 357 }
 358
 359 interactive("print-buffer",
 360     "Print the currently loaded page.",
 361     function (I) { print_buffer(I.buffer); });
 362
 363 function view_partial_source (window, charset, selection) {
 364     if (charset)
 365         charset = "charset=" + charset;
 366     window.window.openDialog("chrome://global/content/viewPartialSource.xul",
 367                              "_blank", "scrollbars,resizable,chrome,dialog=no",
 368                              null, charset, selection, 'selection');
 369 }
 370 //interactive ('view-partial-source', view_partial_source, I.current_window, I.content_charset, I.content_selection);
 371
 372
 373 function  view_mathml_source (window, charset, target) {
 374     if (charset)
 375         charset = "charset=" + charset;
 376     window.window.openDialog("chrome://global/content/viewPartialSource.xul",
 377                              "_blank", "scrollbars,resizable,chrome,dialog=no",
 378                              null, charset, target, 'mathml');
 379 }
 380
 381
 382 function send_key_as_event (window, element, combo) {
 383     var split = unformat_key_combo(combo);
 384     var event = window.document.createEvent("KeyboardEvent");
 385     event.initKeyEvent(
 386         "keypress",
 387         true,
 388         true,
 389         null,
 390         split.ctrlKey,
 391         split.altKey,
 392         split.shiftKey,
 393         split.metaKey,
 394         split.keyCode,
 395         split.charCode);
 396     if (element) {
 397         return element.dispatchEvent(event);
 398     } else {
 399         return window.dispatchEvent(event);
 400     }
 401 }
 402
 403
 404 function ensure_content_focused (buffer) {
 405     var foc = buffer.focused_frame_or_null;
 406     if (!foc)
 407         buffer.top_frame.focus();
 408 }
 409 interactive("ensure-content-focused", "Ensure that the content document has focus.",
 410     function (I) { ensure_content_focused(I.buffer); });
 411
 412
 413 function network_set_online_status (status) {
 414     const io_service = Cc["@mozilla.org/network/io-service;1"]
 415         .getService(Ci.nsIIOService2);
 416     status = !status;
 417     io_service.manageOfflineStatus = false;
 418     io_service.offline = status;
 419 }
 420 interactive("network-go-online", "Work online.",
 421     function (I) { network_set_online_status(true); });
 422
 423 interactive("network-go-offline", "Work offline.",
 424     function (I) { network_set_online_status(false); });
 425
 426
 427 interactive("submit-form",
 428     "Submit the form to which the focused element belongs.",
 429     function (I) {
 430         var el = I.buffer.focused_element.parentNode;
 431         while (el && el.tagName != "FORM")
 432             el = el.parentNode;
 433         if (el) {
 434             var inputs = el.getElementsByTagName("input");
 435             for (var i = 0, ilen = inputs.length; i < ilen; i++) {
 436                 if (inputs[i].getAttribute("type") == "submit")
 437                     return browser_object_follow(I.buffer, FOLLOW_DEFAULT,
 438                                                  inputs[i]);
 439             }
 440             el.submit();
 441         }
 442     });
 443
 444
 445 /*
 446  * Browser Object Commands
 447  */
 448 interactive("follow", null,
 449     alternates(follow, follow_new_buffer, follow_new_window),
 450     $browser_object = browser_object_links);
 451
 452 interactive("follow-top", null,
 453     alternates(follow_current_buffer, follow_current_frame),
 454     $browser_object = browser_object_frames,
 455     $prompt = "Follow");
 456
 457 interactive("follow-new-buffer",
 458     "Follow a link in a new buffer",
 459     alternates(follow_new_buffer, follow_new_window),
 460     $browser_object = browser_object_links,
 461     $prompt = "Follow");
 462
 463 interactive("follow-new-buffer-background",
 464     "Follow a link in a new buffer in the background",
 465     alternates(follow_new_buffer_background, follow_new_window),
 466     $browser_object = browser_object_links,
 467     $prompt = "Follow");
 468
 469 interactive("follow-new-window",
 470     "Follow a link in a new window",
 471     follow_new_window,
 472     $browser_object = browser_object_links,
 473     $prompt = "Follow");
 474
 475 interactive("find-url", "Open a URL in the current buffer",
 476     alternates(follow_current_buffer, follow_new_buffer, follow_new_window),
 477     $browser_object = browser_object_url);
 478
 479 interactive("find-url-new-buffer",
 480     "Open a URL in a new buffer",
 481     alternates(follow_new_buffer, follow_new_window),
 482     $browser_object = browser_object_url,
 483     $prompt = "Find url");
 484
 485 interactive("find-url-new-window", "Open a URL in a new window",
 486     follow_new_window,
 487     $browser_object = browser_object_url,
 488     $prompt = "Find url");
 489
 490 interactive("find-alternate-url", "Edit the current URL in the minibuffer",
 491     "find-url",
 492     $browser_object =
 493         define_browser_object_class("alternate-url", null,
 494             function (I, prompt) {
 495                 check_buffer(I.buffer, content_buffer);
 496                 var result = yield I.buffer.window.minibuffer.read_url(
 497                     $prompt = prompt,
 498                     $initial_value = I.buffer.display_uri_string);
 499                 yield co_return(result);
 500             }),
 501     $prompt = "Find url");
 502
 503
 504 interactive("up", "Go to the parent directory of the current URL",
 505     "find-url",
 506     $browser_object = browser_object_up_url);
 507
 508 interactive("home",
 509     "Go to the homepage in the current buffer.", "follow",
 510     $browser_object = function () { return homepage; });
 511
 512 interactive("make-window",
 513     "Make a new window with the homepage.",
 514     follow_new_window,
 515     $browser_object = function () { return homepage; });
 516
 517 interactive("focus", null,
 518     function (I) {
 519         var element = yield read_browser_object(I);
 520         browser_element_focus(I.buffer, element);
 521     },
 522     $browser_object = browser_object_frames);
 523
 524 interactive("save",
 525     "Save a browser object.",
 526     function (I) {
 527         var element = yield read_browser_object(I);
 528         var spec = load_spec(element);
 529         var panel;
 530         panel = create_info_panel(I.window, "download-panel",
 531                                   [["downloading",
 532                                     element_get_operation_label(element, "Saving"),
 533                                     load_spec_uri_string(spec)],
 534                                    ["mime-type", "Mime type:", load_spec_mime_type(spec)]]);
 535         try {
 536             var file = yield I.minibuffer.read_file_check_overwrite(
 537                 $prompt = "Save as:",
 538                 $initial_value = suggest_save_path_from_file_name(suggest_file_name(spec), I.buffer),
 539                 $history = "save");
 540         } finally {
 541             panel.destroy();
 542         }
 543         save_uri(spec, file,
 544                  $buffer = I.buffer,
 545                  $use_cache = false);
 546     },
 547     $browser_object = browser_object_links);
 548
 549
 550 interactive("copy", null,
 551     function (I) {
 552         var element = yield read_browser_object(I);
 553         browser_element_copy(I.buffer, element);
 554     },
 555     $browser_object = browser_object_links);
 556
 557 interactive("paste-url", "Open a URL from the clipboard in the current buffer.",
 558             alternates(follow_current_buffer, follow_new_buffer, follow_new_window),
 559             $browser_object = browser_object_paste_url);
 560
 561 interactive("paste-url-new-buffer", "Open a URL from the clipboard in a new buffer.",
 562             alternates(follow_new_buffer, follow_new_window),
 563             $browser_object = browser_object_paste_url);
 564
 565 interactive("paste-url-new-window", "Open a URL from the clipboard in a new window.",
 566             follow_new_window,
 567             $browser_object = browser_object_paste_url);
 568
 569 interactive("view-source", null,
 570             alternates(view_source, view_source_new_buffer, view_source_new_window),
 571             $browser_object = browser_object_frames);
 572
 573
 574 interactive("shell-command-on-url",
 575     "Run a shell command on the url of a browser object.",
 576     function (I) {
 577         var cwd = I.local.cwd;
 578         var element = yield read_browser_object(I);
 579         var spec = load_spec(element);
 580         var uri = load_spec_uri_string(spec);
 581         var panel;
 582         panel = create_info_panel(I.window, "download-panel",
 583                                   [["downloading",
 584                                     element_get_operation_label(element, "Running on", "URI"),
 585                                     load_spec_uri_string(spec)],
 586                                    ["mime-type", "Mime type:", load_spec_mime_type(spec)]]);
 587         try {
 588             var cmd = yield I.minibuffer.read_shell_command(
 589                 $cwd = cwd,
 590                 $initial_value = load_spec_default_shell_command(spec));
 591         } finally {
 592             panel.destroy();
 593         }
 594         shell_command_with_argument_blind(cmd, uri, $cwd = cwd);
 595     },
 596     $browser_object = browser_object_url,
 597     $prompt = "Shell command");
 598
 599
 600 interactive("shell-command-on-file",
 601     "Download a document to a temporary file and run a shell command on it.",
 602     function (I) {
 603         var cwd = I.local.cwd;
 604         var element = yield read_browser_object(I);
 605         var spec = load_spec(element);
 606         var uri = load_spec_uri_string(spec);
 607         var panel;
 608         panel = create_info_panel(I.window, "download-panel",
 609                                   [["downloading",
 610                                     element_get_operation_label(element, "Running on"),
 611                                     load_spec_uri_string(spec)],
 612                                    ["mime-type", "Mime type:", load_spec_mime_type(spec)]]);
 613         try {
 614             var cmd = yield I.minibuffer.read_shell_command(
 615                 $cwd = cwd,
 616                 $initial_value = load_spec_default_shell_command(spec));
 617         } finally {
 618             panel.destroy();
 619         }
 620         yield browser_element_shell_command(I.buffer, element, cmd, cwd);
 621     },
 622     $browser_object = browser_object_links,
 623     $prompt = "Shell command");
 624
 625
 626 interactive("bookmark",
 627     "Create a bookmark.",
 628     function (I) {
 629         var element = yield read_browser_object(I);
 630         var spec = load_spec(element);
 631         var uri_string = load_spec_uri_string(spec);
 632         var panel;
 633         panel = create_info_panel(I.window, "bookmark-panel",
 634                                   [["bookmarking",
 635                                     element_get_operation_label(element, "Bookmarking"),
 636                                     uri_string]]);
 637         try {
 638             var title = yield I.minibuffer.read($prompt = "Bookmark with title:", $initial_value = load_spec_title(spec) || "");
 639         } finally {
 640             panel.destroy();
 641         }
 642         add_bookmark(uri_string, title);
 643         I.minibuffer.message("Added bookmark: " + uri_string + " - " + title);
 644     },
 645     $browser_object = browser_object_frames);
 646
 647
 648 interactive("save-page",
 649     "Save a document, not including any embedded documents such as images "+
 650     "and css.",
 651     function (I) {
 652         check_buffer(I.buffer, content_buffer);
 653         var element = yield read_browser_object(I);
 654         var spec = load_spec(element);
 655         if (!load_spec_document(spec))
 656             throw interactive_error("Element is not associated with a document.");
 657         var suggested_path = suggest_save_path_from_file_name(suggest_file_name(spec), I.buffer);
 658
 659         var panel;
 660         panel = create_info_panel(I.window, "download-panel",
 661                                   [["downloading",
 662                                     element_get_operation_label(element, "Saving"),
 663                                     load_spec_uri_string(spec)],
 664                                    ["mime-type", "Mime type:", load_spec_mime_type(spec)]]);
 665
 666         try {
 667             var file = yield I.minibuffer.read_file_check_overwrite(
 668                 $prompt = "Save page as:",
 669                 $history = "save",
 670                 $initial_value = suggested_path);
 671         } finally {
 672             panel.destroy();
 673         }
 674
 675         save_uri(spec, file, $buffer = I.buffer);
 676     },
 677     $browser_object = browser_object_frames);
 678
 679
 680 interactive("save-page-as-text",
 681     "Save a page as plain text.",
 682     function (I) {
 683         check_buffer(I.buffer, content_buffer);
 684         var element = yield read_browser_object(I);
 685         var spec = load_spec(element);
 686         var doc;
 687         if (!(doc = load_spec_document(spec)))
 688             throw interactive_error("Element is not associated with a document.");
 689         var suggested_path = suggest_save_path_from_file_name(suggest_file_name(spec, "txt"), I.buffer);
 690
 691         var panel;
 692         panel = create_info_panel(I.window, "download-panel",
 693                                   [["downloading",
 694                                     element_get_operation_label(element, "Saving", "as text"),
 695                                     load_spec_uri_string(spec)],
 696                                    ["mime-type", "Mime type:", load_spec_mime_type(spec)]]);
 697
 698         try {
 699             var file = yield I.minibuffer.read_file_check_overwrite(
 700                 $prompt = "Save page as text:",
 701                 $history = "save",
 702                 $initial_value = suggested_path);
 703         } finally {
 704             panel.destroy();
 705         }
 706
 707         save_document_as_text(doc, file, $buffer = I.buffer);
 708     },
 709     $browser_object = browser_object_frames);
 710
 711
 712 interactive("save-page-complete",
 713     "Save a page and all supporting documents, including images, css, "+
 714     "and child frame documents.",
 715     function (I) {
 716         check_buffer(I.buffer, content_buffer);
 717         var element = yield read_browser_object(I);
 718         var spec = load_spec(element);
 719         var doc;
 720         if (!(doc = load_spec_document(spec)))
 721             throw interactive_error("Element is not associated with a document.");
 722         var suggested_path = suggest_save_path_from_file_name(suggest_file_name(spec), I.buffer);
 723
 724         var panel;
 725         panel = create_info_panel(I.window, "download-panel",
 726                                   [["downloading",
 727                                     element_get_operation_label(element, "Saving complete"),
 728                                     load_spec_uri_string(spec)],
 729                                    ["mime-type", "Mime type:", load_spec_mime_type(spec)]]);
 730
 731         try {
 732             var file = yield I.minibuffer.read_file_check_overwrite(
 733                 $prompt = "Save page complete:",
 734                 $history = "save",
 735                 $initial_value = suggested_path);
 736             // FIXME: use proper read function
 737             var dir = yield I.minibuffer.read_file(
 738                 $prompt = "Data Directory:",
 739                 $history = "save",
 740                 $initial_value = file.path + ".support");
 741         } finally {
 742             panel.destroy();
 743         }
 744
 745         save_document_complete(doc, file, dir, $buffer = I.buffer);
 746     },
 747     $browser_object = browser_object_frames);
 748
 749
 750 function view_as_mime_type (I, target) {
 751     I.target = target;
 752     var element = yield read_browser_object(I);
 753     var spec = load_spec(element);
 754
 755     if (target == null)
 756         target = FOLLOW_CURRENT_FRAME;
 757
 758     if (!can_override_mime_type_for_uri(load_spec_uri(spec)))
 759         throw interactive_error("Overriding the MIME type is not currently supported for non-HTTP URLs.");
 760
 761     var panel;
 762
 763     var mime_type = load_spec_mime_type(spec);
 764     panel = create_info_panel(I.window, "download-panel",
 765                               [["downloading",
 766                                 element_get_operation_label(element, "View in browser"),
 767                                 load_spec_uri_string(spec)],
 768                                ["mime-type", "Mime type:", load_spec_mime_type(spec)]]);
 769
 770
 771     try {
 772         let suggested_type = mime_type;
 773         if (viewable_mime_type_list.indexOf(suggested_type) == -1)
 774             suggested_type = "text/plain";
 775         mime_type = yield I.minibuffer.read_viewable_mime_type(
 776             $prompt = "View internally as",
 777             $initial_value = suggested_type,
 778             $select);
 779         override_mime_type_for_next_load(load_spec_uri(spec), mime_type);
 780         browser_object_follow(I.buffer, target, spec);
 781     } finally {
 782         panel.destroy();
 783     }
 784 }
 785
 786 function view_as_mime_type_new_buffer (I) {
 787     yield view_as_mime_type(I, OPEN_NEW_BUFFER);
 788 }
 789
 790 function view_as_mime_type_new_window (I) {
 791     yield view_as_mime_type(I, OPEN_NEW_WINDOW);
 792 }
 793
 794 interactive("view-as-mime-type",
 795     "Display a browser object in the browser using the specified MIME type.",
 796     alternates(view_as_mime_type,
 797         view_as_mime_type_new_buffer,
 798         view_as_mime_type_new_window),
 799     $browser_object = browser_object_frames);
 800
 801 interactive("charset-prefix",
 802     "A prefix command that prompts for a charset to use in a "+
 803     "subsequent navigation command.",
 804     function (I) {
 805         var ccman = Cc["@mozilla.org/charset-converter-manager;1"]
 806             .getService(Ci.nsICharsetConverterManager);
 807         var decoders = ccman.getDecoderList()
 808         var charsets = [];
 809         while (decoders.hasMore())
 810             charsets.push(decoders.getNext());
 811         I.forced_charset = yield I.minibuffer.read(
 812             $prompt = "Charset:",
 813             $completer = prefix_completer(
 814                 $completions = charsets,
 815                 $get_string = function (x) x.toLowerCase()),
 816             $match_required);
 817     },
 818     $prefix);
 819
 820
 821 interactive("reload-with-charset",
 822     "Prompt for a charset, and reload the current page, forcing use "+
 823     "of that charset.",
 824     function (I) {
 825         var ccman = Cc["@mozilla.org/charset-converter-manager;1"]
 826             .getService(Ci.nsICharsetConverterManager);
 827         var decoders = ccman.getDecoderList()
 828         var charsets = [];
 829         while (decoders.hasMore())
 830             charsets.push(decoders.getNext());
 831         var forced_charset = yield I.minibuffer.read(
 832             $prompt = "Charset:",
 833             $completer = prefix_completer(
 834                 $completions = charsets,
 835                 $get_string = function (x) x.toLowerCase()),
 836             $match_required);
 837         reload(I.buffer, false, null, forced_charset);
 838     });
 839
 840
 841 interactive("yank",
 842     "Paste the contents of the clipboard",
 843     function (I) {
 844         I.buffer.mark_active = false;
 845         I.buffer.do_command("cmd_paste");
 846     });
 847
 848 interactive("kill-region",
 849     "Kill (\"cut\") the selected text.",
 850     function (I) {
 851         I.buffer.mark_active = false;
 852         I.buffer.do_command("cmd_cut");
 853     });
 854
 855 interactive("kill-ring-save",
 856     "Save the region as if killed, but don't kill it.",
 857     function (I) {
 858          I.buffer.mark_active = false;
 859          I.buffer.do_command("cmd_copy");
 860     });