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

Flush the startup cache when re-sourcing a JS file.

This commit is contained in:
Kris Maglione
2011-08-06 10:09:21 -04:00
parent d828a53b7a
commit f1493e5e8a
3 changed files with 20 additions and 5 deletions

View File

@@ -1756,6 +1756,11 @@ var Buffer = Module("buffer", {
if (isinstance(services.focus.activeWindow.document.activeElement,
[HTMLInputElement, HTMLButtonElement, Ci.nsIDOMXULButtonElement]))
return Events.PASS;
if (isinstance(buffer.focusedFrame.document.activeElement,
[HTMLInputElement, HTMLButtonElement, Ci.nsIDOMXULButtonElement]))
return Events.PASS;
buffer.scrollVertical("pages", Math.max(args.count, 1));
},
{ count: true });