Merge pull request #207 from pybricks/dlech

fix terminal losing focus after opening context menu

src/components/Terminal.tsx

@@ -136,6 +136,11 @@ class Terminal extends React.Component<TerminalProps> {
             </Menu>
         );
     }
+
+    onContextMenuClose = () => {
+        // without this, the terminal looses focus
+        this.xterm.focus();
+    };
 }
 
 const mapStateToProps = (state: RootState): StateProps => ({