DevTools: mute accidental refresh requests while on DevTools window.

webkit/glue/devtools/js/devtools.js

Index: webkit/glue/devtools/js/devtools.js
===================================================================
--- webkit/glue/devtools/js/devtools.js	(revision 21168)
+++ webkit/glue/devtools/js/devtools.js	(working copy)
@@ -222,10 +222,23 @@
 
   Preferences.ignoreWhitespace = false;
   oldLoaded.call(this);
+
+  // Hide dock button on Mac OS.
+  // TODO(pfeldman): remove once Mac OS docking is implemented.
   if (InspectorController.platform().indexOf('mac') == 0) {
     document.getElementById('dock-status-bar-item').addStyleClass('hidden');
   }
 
+  // Mute refresh action.
+  document.addEventListener("keydown", function(event) {
+    if (event.keyIdentifier == 'F5') {
+      event.preventDefault();
+    } else if (event.keyIdentifier == 'U+0052' &&

[yurys, 2009/07/21 12:01:36]

please use a constant for this

+        (event.ctrlKey || event.metaKey)) {
+      event.preventDefault();
+    }
+  }, true);
+
   DevToolsHost.loaded();
 };