Fix missing window select on extensions (#40)

* Fix clicking extensions not selecting window * Remove console log
wheel-org · Nov 23, 2018 · a42f2a7 · a42f2a7
1 parent b4c23fd
commit a42f2a7
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 0 deletions.
diff --git a/src/mercury/components/root.jsx b/src/mercury/components/root.jsx
@@ -23,6 +23,7 @@ type StateProps = {|
 |};
 
 type DispatchProps = {|
+    +selectWindowDirect: number => void,
     +selectWorkspace: number => void,
     +selectWindow: number => void,
     +killScript: number => void,
@@ -85,6 +86,9 @@ class Root extends React.Component<Props> {
             case 'writeFile':
                 this.props.createOrModifyFile(message.path, message.content);
                 break;
+            case 'selectWindow':
+                this.props.selectWindowDirect(Number(message.id));
+                break;
         }
     }
 
@@ -98,6 +102,11 @@ const mapStateToProps = (state: StoreState): StateProps => ({
 });
 
 const mapDispatchToProps = (dispatch: Dispatch): DispatchProps => ({
+    selectWindowDirect: (id: number) =>
+        dispatch({
+            type: 'SELECT_WINDOW',
+            id
+        }),
     selectWorkspace: (direction: number) =>
         dispatch({
             type: 'INTENT_SELECT_WORKSPACE',

diff --git a/src/types.js b/src/types.js
@@ -151,6 +151,10 @@ export type ExtensionMessage =
       +type: 'writeFile',
       +path: string,
       +content: string
+    |}
+  | {|
+      +type: 'selectWindow',
+      +id: string
     |};
 
 // Response message from Mercury to extension