From 0cf1151e0a620180eb426adf6dbc85968f3eeaef Mon Sep 17 00:00:00 2001 From: Kris Maglione Date: Thu, 29 Sep 2011 21:25:17 -0400 Subject: [PATCH] More cleanup. Fix some Teledactyl bugginess. --- common/chrome.manifest | 2 + common/config.json | 38 +++ common/content/commandline.js | 2 +- common/content/dactyl.js | 4 +- common/content/mow.js | 2 +- common/content/tabs.js | 10 +- common/modules/base.jsm | 1 + common/modules/completion.jsm | 2 +- common/modules/config.jsm | 610 +++------------------------------- common/modules/main.jsm | 2 +- common/modules/options.jsm | 4 +- common/modules/sanitizer.jsm | 8 +- common/modules/storage.jsm | 18 +- common/skin/global-styles.css | 309 +++++++++++++++++ common/skin/help-styles.css | 212 ++++++++++++ melodactyl/content/config.js | 2 - pentadactyl/config.json | 86 +++++ pentadactyl/content/config.js | 71 +--- teledactyl/config.json | 71 ++++ teledactyl/content/config.js | 69 +--- teledactyl/content/mail.js | 6 +- 21 files changed, 813 insertions(+), 716 deletions(-) create mode 100644 common/config.json create mode 100644 common/skin/global-styles.css create mode 100644 common/skin/help-styles.css create mode 100644 pentadactyl/config.json create mode 100644 teledactyl/config.json diff --git a/common/chrome.manifest b/common/chrome.manifest index b55978f4..3eae8e1c 100644 --- a/common/chrome.manifest +++ b/common/chrome.manifest @@ -1,7 +1,9 @@ +resource dactyl-local ./ resource dactyl-local-content content/ resource dactyl-local-skin skin/ resource dactyl-local-locale locale/ +resource dactyl-common ../common/ resource dactyl ../common/modules/ resource dactyl-content ../common/content/ resource dactyl-skin ../common/skin/ diff --git a/common/config.json b/common/config.json new file mode 100644 index 00000000..f9aee18a --- /dev/null +++ b/common/config.json @@ -0,0 +1,38 @@ +{ + "completers": { + "abbreviation": "abbreviation", + "altstyle": "alternateStyleSheet", + "bookmark": "bookmark", + "buffer": "buffer", + "charset": "charset", + "color": "colorScheme", + "command": "command", + "dialog": "dialog", + "dir": "directory", + "environment": "environment", + "event": "autocmdEvent", + "extension": "extension", + "file": "file", + "help": "help", + "highlight": "highlightGroup", + "history": "history", + "javascript": "javascript", + "macro": "macro", + "mapping": "userMapping", + "mark": "mark", + "menu": "menuItem", + "option": "option", + "preference": "preference", + "qmark": "quickmark", + "runtime": "runtime", + "search": "search", + "shellcmd": "shellCommand", + "toolbar": "toolbar", + "url": "url", + "usercommand": "userCommand" + }, + + "option-defaults": { + "guioptions": "rb" + } +} diff --git a/common/content/commandline.js b/common/content/commandline.js index 0a556dbd..61d9fbd5 100644 --- a/common/content/commandline.js +++ b/common/content/commandline.js @@ -20,7 +20,7 @@ var CommandWidgets = Class("CommandWidgets", { eventTarget: commandline }, append: - +