203204205206207208209
private void onNavigate(Direction direction) { if (direction == Direction.HEAD || direction == Direction.PREVIOUS) { circuit.dispatch(new UnFollowLogFile()); } circuit.dispatch(new NavigateInLogFile(direction)); }
201202203204205206207
191192193194195196197
202203204205206207208
134135136137138139140
public void refresh(LogState logState) { editor.setText(logState.getContent()); } private void onNavigate(Direction direction) { circuit.dispatch(new NavigateInLogFile(direction)); }
198199200201202203204