From d62955ea76a8adfbfc0d08bd023557716fc14694 Mon Sep 17 00:00:00 2001 From: futpib Date: Sun, 18 Nov 2018 00:40:10 +0300 Subject: [PATCH] Fix "hide disconnected sources" --- components/graph/index.js | 3 +++ components/preferences/index.js | 4 ++-- 2 files changed, 5 insertions(+), 2 deletions(-) diff --git a/components/graph/index.js b/components/graph/index.js index 8270a88..e898499 100644 --- a/components/graph/index.js +++ b/components/graph/index.js @@ -555,6 +555,9 @@ class Graph extends React.Component { const connectedNodeKeys = new Set(); edges.forEach(edge => { + if (edge.type === 'monitorSource') { + return; + } connectedNodeKeys.add(edge.source); connectedNodeKeys.add(edge.target); }); diff --git a/components/preferences/index.js b/components/preferences/index.js index ce14cc3..602570b 100644 --- a/components/preferences/index.js +++ b/components/preferences/index.js @@ -84,8 +84,8 @@ class Preferences extends React.Component { r.div([ r(Checkbox, { - checked: this.props.preferences.hideDisconnectedSource, - onChange: () => this.props.actions.toggle('hideDisconnectedSource'), + checked: this.props.preferences.hideDisconnectedSources, + onChange: () => this.props.actions.toggle('hideDisconnectedSources'), }, 'Hide disconnected source'), ]),