DevTools: Decouple shortcuts from actions, introduce shortcut contexts

Source/devtools/front_end/SourceFrame.js

 /*
  * Copyright (C) 2011 Google Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are
  * met:
  *
  *     * Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *     * Redistributions in binary form must reproduce the above
@@ skipping 407 matching lines @@
             doFindSearchMatches.call(this, query);
         else
             this._delayedFindSearchMatches = doFindSearchMatches.bind(this, query);
 
         this._ensureContentLoaded();
     },
 
     _editorFocused: function()
     {
         this._resetCurrentSearchResultIndex();
+        WebInspector.context.setFlavor(WebInspector.SourceFrame, this);

[pfeldman, 2014/04/17 10:40:25]

I think this should be done on the level of SourceViewer. Selected tab is our
source frame, no matter whether it has focus or not.

[apavlov, 2014/04/17 12:42:22]

If Ctrl+H were our "Search&Replace in source code" shortcut, it should not get
activated with the actual focus being in the drawer console view, for example,
right?

+    },
+
+    _editorBlurred: function()
+    {
+        WebInspector.context.setFlavor(WebInspector.SourceFrame, null);
     },
 
     _resetCurrentSearchResultIndex: function()
     {
         if (!this._searchResults.length)
             return;
         this._currentSearchResultIndex = -1;
         if (this._currentSearchMatchChangedCallback)
             this._currentSearchMatchChangedCallback(this._currentSearchResultIndex);
         this._textEditor.highlightSearchResults(this._searchRegex, null);
@@ skipping 394 matching lines @@
     scrollChanged: function(lineNumber)
     {
         this._sourceFrame.scrollChanged(lineNumber);
     },
 
     editorFocused: function()
     {
         this._sourceFrame._editorFocused();
     },
 
+    editorBlurred: function()
+    {
+        this._sourceFrame._editorBlurred();
+    },
+
     populateLineGutterContextMenu: function(contextMenu, lineNumber)
     {
         this._sourceFrame.populateLineGutterContextMenu(contextMenu, lineNumber);
     },
 
     populateTextAreaContextMenu: function(contextMenu, lineNumber)
     {
         this._sourceFrame.populateTextAreaContextMenu(contextMenu, lineNumber);
     },
 
@@ skipping 10 matching lines @@
 
     /**
      * @param {?WebInspector.TextRange} from
      * @param {?WebInspector.TextRange} to
      */
     onJumpToPosition: function(from, to)
     {
         this._sourceFrame.onJumpToPosition(from, to);
     }
 }