Fix rare bug when dev tools window is not created yet but isDevToolsOpened() reports true

1 files changed, 5 insertions, 1 deletions

diff --git a/app/main.js b/app/main.js
index b9aae68692..9c70dac8e5 100644
--- a/app/main.js
+++ b/app/main.js
@@ -49,7 +49,11 @@ const installDevTools = async () => {
     if(!window) { return; }
 
     if(window.isDevToolsOpened()) {
-      window.devToolsWebContents.focus();
+      // there is a rare bug when isDevToolsOpened() reports true
+      // but dev tools window is not created yet.
+      if(window.devToolsWebContents) {
+        window.devToolsWebContents.focus();
+      }
     } else {
       window.openDevTools({ mode: 'detach' });
     }