Fix updating tree nodes when settings change

2019-04-07 22:56:10 +02:00
parent 3e47b07ba7
commit 436b569e93
12 changed files with 85 additions and 126 deletions
--- a/app/src/components/App.tsx
+++ b/app/src/components/App.tsx
@@ -131,10 +131,10 @@ const mapDispatchToProps = (dispatch: any) => {

 const mapStateToProps = (state: AppState) => {
  return {
-    settingsVisible: state.settings.visible,
+    settingsVisible: state.settings.get('visible'),
    connectionId: state.connection.connectionId,
    error: state.globalState.error,
-    highlightTopicUpdates: state.settings.highlightTopicUpdates,
+    highlightTopicUpdates: state.settings.get('highlightTopicUpdates'),
    launching: state.globalState.launching,
  }
 }