void () { if (myHistorySession.getHistoryAsTreeProvider() != null) { // scroll tree view to most recent change final TreeTableView treeView = myDualView.getTreeView(); final int lastRow = treeView.getRowCount() - 1; if (lastRow >= 0) { treeView.scrollRectToVisible(treeView.getCellRect(lastRow, 0, true)); } } myTargetSelection = null; mySplitter.revalidate(); mySplitter.repaint(); }