real fix for devtool focus issue

src/typings/electron.d.ts

@@ -476,6 +476,10 @@ declare module Electron {
 		 * @returns Whether the window is visible on all workspaces.
 		 */
 		isVisibleOnAllWorkspaces(): boolean;
+		/**
+		 * @returns Whether dev tools are focused or not.
+		 */
+		isDevToolsFocused(): boolean;
 	}
 
 	interface WebPreferences {

src/vs/workbench/electron-main/menus.ts

@@ -654,7 +654,7 @@ export class VSCodeMenu {
 					return;
 				}
 
-				if (windowInFocus.win.webContents.isDevToolsFocused && windowInFocus.win.webContents.isDevToolsFocused()) { // timing issue, sometimes isDevToolsFocused is not defined?
+				if (windowInFocus.win.isDevToolsFocused()) {
 					devToolsFocusedFn(windowInFocus.win.devToolsWebContents);
 				} else {
 					windows.manager.sendToFocused('vscode:runAction', actionId);