protected void refreshSREListUI ( ) { // Refreshes the SRE listing after a SRE install notification, might not // happen on the UI thread. final Display display = Display . getDefault ( ) ; if ( display . getThread ( ) . equals ( Thread . currentThread ( ) ) ) { if ( ! this . sresList . isBusy ( ) ) { this . sresList . refresh ( ) ; } } else { display . syncExec ( new Runnable ( ) { @ SuppressWarnings ( "synthetic-access" ) @ Override public void run ( ) { if ( ! SREsPreferencePage . this . sresList . isBusy ( ) ) { SREsPreferencePage . this . sresList . refresh ( ) ; } } } ) ; } }
Refresh the UI list of SRE .