Changeset 94529 in webkit

Timestamp:

Sep 5, 2011, 7:40:00 AM (14 years ago)

Author:

apavlov@chromium.org

Message:

Web Inspector: F5 results in a Web Inspector frontend reload on non-Macs
​https://bugs.webkit.org/show_bug.cgi?id=67602

Reviewed by Yury Semikhatsky.

• inspector/front-end/inspector.js:

(WebInspector.documentKeyDown):

Location:

trunk/Source/WebCore

Files:

• ChangeLog (modified) (1 diff)
• inspector/front-end/inspector.js (modified) (1 diff)

trunk/Source/WebCore/ChangeLog

@@ +1 @@
+2011-09-05  Alexander Pavlov  <apavlov@chromium.org>
+
+        Web Inspector: F5 results in a Web Inspector frontend reload on non-Macs
+        https://bugs.webkit.org/show_bug.cgi?id=67602
+
+        Reviewed by Yury Semikhatsky.
+
+        * inspector/front-end/inspector.js:
+        (WebInspector.documentKeyDown):
+
 2011-09-05  Sheriff Bot  <webkit.review.bot@gmail.com>
 

trunk/Source/WebCore/inspector/front-end/inspector.js

@@ -841 +841 @@
             break;
         case "F5":
-            if (!isMac)
+            if (!isMac) {
                 PageAgent.reload(event.ctrlKey || event.shiftKey);
+                event.preventDefault();
+            }
             break;
     }