gryf/pentadactyl-pm
1
0
Fork 0
mirror of https://github.com/gryf/pentadactyl-pm.git synced 2026-01-31 05:05:46 +01:00
Code Issues Projects Releases Wiki Activity

Formatting fixes.

Browse Source
This commit is contained in:
Doug Kearns
2009-06-08 22:43:03 +10:00
parent f37a0a37b3
commit 32106364f5
2 changed files with 8 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
common/content/events.js
View File

@@ -438,7 +438,8 @@ function Events() //{{{
const key_code = {}; const key_code = {};
for (let [k, v] in Iterator(KeyEvent)) for (let [k, v] in Iterator(KeyEvent))
if (/^DOM_VK_(?![A-Z0-9]$)/.test(k)) { if (/^DOM_VK_(?![A-Z0-9]$)/.test(k))
{
k = k.substr(7).toLowerCase(); k = k.substr(7).toLowerCase();
let names = [k.replace(/(^|_)(.)/g, function (m, n1, n2) n2.toUpperCase()) let names = [k.replace(/(^|_)(.)/g, function (m, n1, n2) n2.toUpperCase())
.replace(/^NUMPAD/, "k")]; .replace(/^NUMPAD/, "k")];
@@ -450,7 +451,7 @@ function Events() //{{{
} }
// HACK: as firefox does not include an event for <, we must add this in manually. // HACK: as firefox does not include an event for <, we must add this in manually.
if (! ("<" in key_code)) if (!("<" in key_code))
{ {
key_code["<"] = 60; key_code["<"] = 60;
key_code["lt"] = 60; key_code["lt"] = 60;
@@ -944,11 +945,11 @@ function Events() //{{{
Mouse: { Mouse: {
type: type, type: type,
bubbles: true, cancelable: true, bubbles: true, cancelable: true,
view: doc.defaultView, view: doc.defaultView,
detail: 1, detail: 1,
screenX: 0, screenY: 0, screenX: 0, screenY: 0,
clientX: 0, clientY: 0, clientX: 0, clientY: 0,
ctrlKey: false, altKey: false, shiftKey: false, metaKey: false, ctrlKey: false, altKey: false, shiftKey: false, metaKey: false,
button: 0, button: 0,
relatedTarget: null relatedTarget: null
} }

3
common/content/ui.js
View File

@@ -2109,7 +2109,8 @@ function StatusLine() //{{{
if (sh.index < sh.count -1) if (sh.index < sh.count -1)
modified += "-"; modified += "-";
} }
if (liberator.has("bookmarks")) { if (liberator.has("bookmarks"))
{
if (bookmarks.isBookmarked(buffer.URL)) if (bookmarks.isBookmarked(buffer.URL))
modified += "\u2764"; // a heart symbol: ❤ modified += "\u2764"; // a heart symbol: ❤
//modified += "\u2665"; // a heart symbol: ♥ //modified += "\u2665"; // a heart symbol: ♥