void () { updateModificationMarker(); //resetup configs for (ScopeToolState state : myProfile.getAllTools()) { state.resetConfigPanel(); } fillTreeData(myProfileFilter.getFilter(), true); repaintTableData(); updateOptionsAndDescriptionPanel(); }