[dome] catch exception when loading dev-tools

ivette/src/dome/src/main/dome.js

@@ -392,7 +392,10 @@ function createPrimaryWindow()
 
   // React Developper Tools
   if (DEVEL)
-    installExtension(REACT_DEVELOPER_TOOLS,true);
+    installExtension(REACT_DEVELOPER_TOOLS,true)
+    .catch((err) => {
+      console.error('[Dome] Enable to install React dev-tools',err);
+    });
   const cwd = process.cwd();
   const wdir = cwd === '/' ? app.getPath('home') : cwd ;
   const argv = stripElectronArgv(process.argv);

ivette/src/dome/src/misc/devtools.js

@@ -8,5 +8,5 @@ export const REACT_DEVELOPER_TOOLS = undefined ;
 
 // Shall not be used in non-development mode
 export default function installExtension(_id) {
-  return Promise.reject();
+  return Promise.resolve();
 }