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

Fix zoom level display for fractional percentages.

Browse Source
This commit is contained in:
Kris Maglione
2011-01-14 23:32:27 -05:00
parent 74ae88b10f
commit 67e2a23c5a
4 changed files with 4 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
common/content/autocommands.js
View File

@@ -31,7 +31,7 @@ var AutoCommands = Module("autocommands", {
*/
add: function (events, regexp, cmd) {
events.forEach(function (event) {
this._store.push(AutoCommand(event, Option.parse.regexplist(regexp), cmd));
this._store.push(AutoCommand(event, Option.parse.regexplist(regexp.source || regexp), cmd));
}, this);
},

3
common/content/dactyl.js
View File

@@ -1181,8 +1181,9 @@ var Dactyl = Module("dactyl", XPCOM(Ci.nsISupportsWeakReference, ModuleBase), {
*/
reportError: function reportError(error, echo) {
if (error instanceof FailedAssertion || error.message === "Interrupted") {
let prefix = io.sourcing ? io.sourcing.file + ":" + io.sourcing.line + ": " : "";
if (error.message)
dactyl.echoerr(template.linkifyHelp(error.message));
dactyl.echoerr(template.linkifyHelp(prefix + error.message));
else
dactyl.beep();
return;

2
common/content/statusline.js
View File

@@ -309,7 +309,7 @@ var StatusLine = Module("statusline", {
if (percent == 100)
this.widgets.zoomlevel.value = "";
else {
percent = (" " + percent).substr(-3);
percent = (" " + Math.round(percent)).substr(-3);
if (full)
this.widgets.zoomlevel.value = " [" + percent + "%]";
else