private void insertSnapshot(final CSelectionSnapshot snapshot){
  final CSelectionHistoryTreeNode selection=new CSelectionHistoryTreeNode(snapshot,m_stateIndex);
  for (  final NaviNode node : snapshot.getSelection()) {
    selection.add(new CNodeNode(node));
  }
  m_stateIndex++;
  m_model.insertNodeInto(selection,(CSelectionHistoryTreeNode)m_model.getRoot(),0);
}

private void insertSnapshot ( final CSelectionSnapshot snapshot ) { final CSelectionHistoryTreeNode selection = new CSelectionHistoryTreeNode ( snapshot , m_stateIndex ) ; for ( final NaviNode node : snapshot . getSelection ( ) ) { selection . add ( new CNodeNode ( node ) ) ; } m_stateIndex ++ ; m_model . insertNodeInto ( selection , ( CSelectionHistoryTreeNode ) m_model . getRoot ( ) , 0 ) ; }
adds a new selection state to the history chooser .
