in lib/src/history_state.dart [25:42]
factory HistoryState(String type, {String depTarget: null}) {
switch (type) {
case 'info':
return new _InfoHistoryState();
case 'hier':
return new _HierHistoryState(_lastHierPos);
case 'dep':
var target = depTarget;
if (target == null) {
target = _lastDepFocus;
}
return new _DepHistoryState(target);
case 'diff':
return new _DiffHistoryState(_lastDiffPos);
default:
return null;
}
}