From 016770bf7d4ef0659eac61b90b186ee08492fd2c Mon Sep 17 00:00:00 2001 From: Daniel Bainton Date: Thu, 11 Dec 2008 18:12:58 +0200 Subject: [PATCH] :prefs needs to be application specific, so moving :prefs to vimperator and adding a new :prefs for muttator --- common/content/options.js | 20 -------------------- muttator/content/config.js | 10 ++++++++++ vimperator/content/config.js | 20 ++++++++++++++++++++ 3 files changed, 30 insertions(+), 20 deletions(-) diff --git a/common/content/options.js b/common/content/options.js index 555b9eaf..e5e71121 100644 --- a/common/content/options.js +++ b/common/content/options.js @@ -508,26 +508,6 @@ function Options() //{{{ } }); - commands.add(["pref[erences]", "prefs"], - "Show " + config.hostApplication + " preferences", - function (args) - { - if (args.bang) // open Firefox settings GUI dialog - { - liberator.open("about:config", - (options["newtab"] && options.get("newtab").has("all", "prefs")) - ? liberator.NEW_TAB : liberator.CURRENT_TAB); - } - else - { - window.openPreferences(); - } - }, - { - argCount: "0", - bang: true - }); - commands.add(["setl[ocal]"], "Set local option", function (args) diff --git a/muttator/content/config.js b/muttator/content/config.js index 1b811ae8..5e3be8b0 100644 --- a/muttator/content/config.js +++ b/muttator/content/config.js @@ -219,6 +219,16 @@ const config = { //{{{ liberator.loadModule("marks", Marks); liberator.loadModule("hints", Hints); } + + commands.add(["pref[erences]", "prefs"], + "Show " + config.hostApplication + " preferences", + function (args) + { + window.openOptionsDialog(); + }, + { + argCount: "0" + }); } }; //}}} diff --git a/vimperator/content/config.js b/vimperator/content/config.js index ee06ad32..14bbb092 100644 --- a/vimperator/content/config.js +++ b/vimperator/content/config.js @@ -314,6 +314,26 @@ const config = { //{{{ literal: 0 }); + commands.add(["pref[erences]", "prefs"], + "Show " + config.hostApplication + " preferences", + function (args) + { + if (args.bang) // open Firefox settings GUI dialog + { + liberator.open("about:config", + (options["newtab"] && options.get("newtab").has("all", "prefs")) + ? liberator.NEW_TAB : liberator.CURRENT_TAB); + } + else + { + window.openPreferences(); + } + }, + { + argCount: "0", + bang: true + }); + commands.add(["redr[aw]"], "Redraw the screen", function ()