Fix "hide disconnected sources"
This commit is contained in:
parent
cfb7100efd
commit
d62955ea76
|
@ -555,6 +555,9 @@ class Graph extends React.Component {
|
||||||
|
|
||||||
const connectedNodeKeys = new Set();
|
const connectedNodeKeys = new Set();
|
||||||
edges.forEach(edge => {
|
edges.forEach(edge => {
|
||||||
|
if (edge.type === 'monitorSource') {
|
||||||
|
return;
|
||||||
|
}
|
||||||
connectedNodeKeys.add(edge.source);
|
connectedNodeKeys.add(edge.source);
|
||||||
connectedNodeKeys.add(edge.target);
|
connectedNodeKeys.add(edge.target);
|
||||||
});
|
});
|
||||||
|
|
|
@ -84,8 +84,8 @@ class Preferences extends React.Component {
|
||||||
|
|
||||||
r.div([
|
r.div([
|
||||||
r(Checkbox, {
|
r(Checkbox, {
|
||||||
checked: this.props.preferences.hideDisconnectedSource,
|
checked: this.props.preferences.hideDisconnectedSources,
|
||||||
onChange: () => this.props.actions.toggle('hideDisconnectedSource'),
|
onChange: () => this.props.actions.toggle('hideDisconnectedSources'),
|
||||||
}, 'Hide disconnected source'),
|
}, 'Hide disconnected source'),
|
||||||
]),
|
]),
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue
Block a user