1682168316841685168616871688
private void fireRecordNavigationPosition(Position pos) { SourcePosition srcPos = SourcePosition.create(pos.getRow(), pos.getColumn()); fireEvent(new RecordNavigationPositionEvent(srcPos)); }