public void fineTuneNewBestResult( RegistrationResult result ) { if( progressWindow != null ) progressWindow.offerNewResult( result ); }
progressWindow.offerNewResult( result ); updateBest( result );
public void fineTuneNewBestResult( RegistrationResult result ) { if( progressWindow != null ) progressWindow.offerNewResult( result ); }
progressWindow.offerNewResult( result ); updateBest( result );