DevTools: fix focus restoration from command menu

third_party/WebKit/Source/devtools/front_end/ui/UIUtils.js

 /*
  * Copyright (C) 2011 Google Inc.  All rights reserved.
  * Copyright (C) 2006, 2007, 2008 Apple Inc.  All rights reserved.
  * Copyright (C) 2007 Matt Lilek (pewtermoose@gmail.com).
  * Copyright (C) 2009 Joseph Pecoraro
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions
  * are met:
  *
@@ skipping 206 matching lines @@
         if (WebInspector.GlassPane.DefaultFocusedViewStack.length)
             WebInspector.GlassPane.DefaultFocusedViewStack.peekLast().focus();
         this.element.remove();
     }
 }
 
 /** @type {!WebInspector.GlassPane|undefined} */
 WebInspector._glassPane;
 
 /**
- * @type {!Array.<!WebInspector.Widget|!WebInspector.Dialog>}
+ * @type {!Array.<!WebInspector.Widget|!Node>}
  */
 WebInspector.GlassPane.DefaultFocusedViewStack = [];
 
 /**
  * @param {?Node=} node
  * @return {boolean}
  */
 WebInspector.isBeingEdited = function(node)
 {
     if (!node || node.nodeType !== Node.ELEMENT_NODE)
@@ skipping 1597 matching lines @@
             [NetworkAgent.ResourcePriority.High, WebInspector.UIString("High")],
             [NetworkAgent.ResourcePriority.VeryHigh, WebInspector.UIString("Highest")]
         ]);
         WebInspector.uiLabelForPriority._priorityToUILabel = labelMap;
     }
     return labelMap.get(priority) || WebInspector.UIString("Unknown");
 }
 
 /** @type {!WebInspector.ThemeSupport} */
 WebInspector.themeSupport;