1
0
mirror of https://github.com/gryf/pentadactyl-pm.git synced 2025-12-20 10:17:59 +01:00

Formatting fixes.

This commit is contained in:
Doug Kearns
2009-06-14 01:23:01 +10:00
parent 5ebcdb71bc
commit c3ef4d18da
5 changed files with 14 additions and 18 deletions

View File

@@ -647,7 +647,8 @@ function Bookmarks() //{{{
try try
{ {
charset = PlacesUtils.history.getCharsetForURI(makeURI(shortcutURL)); charset = PlacesUtils.history.getCharsetForURI(makeURI(shortcutURL));
} catch (e) { } }
catch (e) {}
} }
var encodedParam = ""; var encodedParam = "";
if (charset) if (charset)

View File

@@ -610,7 +610,8 @@ function Buffer() //{{{
.QueryInterface(Ci.nsIInterfaceRequestor) .QueryInterface(Ci.nsIInterfaceRequestor)
.getInterface(Ci.nsIDOMWindowUtils) .getInterface(Ci.nsIDOMWindowUtils)
.getDocumentMetadata("content-disposition"); .getDocumentMetadata("content-disposition");
} catch (e) {} }
catch (e) {}
window.internalSave(doc.location.href, doc, null, contentDisposition, window.internalSave(doc.location.href, doc, null, contentDisposition,
doc.contentType, false, null, chosenData, doc.referrer ? doc.contentType, false, null, chosenData, doc.referrer ?

View File

@@ -269,7 +269,7 @@ function Hints() //{{{
return [leftpos + curleft, toppos + curtop]; return [leftpos + curleft, toppos + curtop];
} }
} }
catch (e) {} //badly formed document, or shape == "default" in which case we don't move the hint catch (e) {} // badly formed document, or shape == "default" in which case we don't move the hint
return [leftpos, toppos]; return [leftpos, toppos];
} }

View File

@@ -120,12 +120,6 @@ const config = { //{{{
// they are sorted by relevance, not alphabetically // they are sorted by relevance, not alphabetically
helpFiles: ["intro.html", "version.html"], helpFiles: ["intro.html", "version.html"],
/* "tutorial.html", "starting.html",
"browsing.html", "buffer.html", "pattern.html", "options.html",
"tabs.html", "hints.html", "map.html", "eval.html", "marks.html",
"repeat.html", "autocommands.html", "print.html", "developer.html",
"various.html"
],*/
get ignoreKeys() { get ignoreKeys() {
delete this.ignoreKeys; delete this.ignoreKeys;
@@ -133,7 +127,7 @@ const config = { //{{{
"<Return>": modes.NORMAL | modes.INSERT, "<Return>": modes.NORMAL | modes.INSERT,
"<Space>": modes.NORMAL | modes.INSERT, "<Space>": modes.NORMAL | modes.INSERT,
"<Up>": modes.NORMAL | modes.INSERT, "<Up>": modes.NORMAL | modes.INSERT,
"<Down>": modes.NORMAL | modes.INSERT, "<Down>": modes.NORMAL | modes.INSERT
} }
}, },
@@ -164,7 +158,7 @@ const config = { //{{{
scripts: [ scripts: [
"addressbook.js", "addressbook.js",
"mail.js", "mail.js",
"tabs.js", "tabs.js"
], ],
init: function () init: function ()

View File

@@ -467,8 +467,8 @@ const config = { //{{{
"Redraw the screen", "Redraw the screen",
function () function ()
{ {
let wu = window.QueryInterface(Ci.nsIInterfaceRequestor). let wu = window.QueryInterface(Ci.nsIInterfaceRequestor)
getInterface(Ci.nsIDOMWindowUtils); .getInterface(Ci.nsIDOMWindowUtils);
wu.redraw(); wu.redraw();
modes.show(); modes.show();
}, },