private void restartProximityBrowsing(){
  m_lastShown=new HashSet<>();
  final Collection<NodeType> selectedNodes=SelectedVisibleFilter.filter(m_graph.getSelectedNodes());
  if (!selectedNodes.isEmpty()) {
    final List<NodeType> allNodes=GraphHelpers.getNodes(m_graph);
    allNodes.removeAll(selectedNodes);
    m_graph.showNodes(selectedNodes,allNodes);
    updateViews();
  }
}

private void restartProximityBrowsing ( ) { m_lastShown = new HashSet < > ( ) ; final Collection < NodeType > selectedNodes = SelectedVisibleFilter . filter ( m_graph . getSelectedNodes ( ) ) ; if ( ! selectedNodes . isEmpty ( ) ) { final List < NodeType > allNodes = GraphHelpers . getNodes ( m_graph ) ; allNodes . removeAll ( selectedNodes ) ; m_graph . showNodes ( selectedNodes , allNodes ) ; updateViews ( ) ; } }
restarts proximity browsing by setting only the selected nodes visible .
