Keyboard left/right navigation tweak

This commit is contained in:
futpib 2018-11-21 14:23:23 +03:00
parent d9f178f1f6
commit 95af630439

View File

@ -23,6 +23,8 @@ const {
repeat, repeat,
sortBy, sortBy,
values, values,
scan,
range,
} = require('ramda'); } = require('ramda');
const React = require('react'); const React = require('react');
@ -1208,11 +1210,12 @@ class Graph extends React.Component {
return; return;
} }
const type0 = selected.type; const next = t => selectionObjectTypes[direction](t);
const type1 = selectionObjectTypes[direction]( const types = scan(
selectionObjectTypes.fromPulseType(type0), next,
next(selectionObjectTypes.fromPulseType(selected.type)),
range(0, 3)
); );
const type2 = selectionObjectTypes[direction](type1);
const bestSelectionPredicate = x => null || const bestSelectionPredicate = x => null ||
x.source === selected.id || x.source === selected.id ||
@ -1221,10 +1224,7 @@ class Graph extends React.Component {
selected.target === x.id; selected.target === x.id;
this.setState({ this.setState({
selected: this._findAnyObjectForSelection([ selected: this._findAnyObjectForSelection(types, bestSelectionPredicate),
type1,
type2,
], bestSelectionPredicate),
}); });
} }