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

1 files changed, 5 insertions, 0 deletions

diff --git a/common/content/buffer.js b/common/content/buffer.js
index 6d3c93fa..eb84f668 100644
--- a/common/content/buffer.js
+++ b/common/content/buffer.js
@@ -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 });