Révision 2331

tmp/org.txm.rcp/src/main/java/org/txm/rcp/preferences/TXMPreferencePage.java (revision 2331)
36 36 
import org.eclipse.ui.IWorkbenchPreferencePage;
37 37 
import org.eclipse.ui.preferences.ScopedPreferenceStore;
38 38 
import org.txm.rcp.messages.TXMUIMessages;
39 
import org.txm.utils.logger.Log;
39 40 

  		





  40
  41
  
    
/**


  		





  41
  42
  
    
 * TXM base preference page.


  		





  ......




  82
  83
  
    
			super.performOk();


  		





  83
  84
  
    
			((ScopedPreferenceStore) this.getPreferenceStore()).save();


  		





  84
  85
  
    
		} catch (Exception e) {


  		





  85
  
  
    
			System.err.println(NLS.bind(TXMUIMessages.failedToSavePreferencesColonP0, e));


  		





  
  86
  
    
			Log.severe(NLS.bind(TXMUIMessages.failedToSavePreferencesColonP0, e));


  		





  86
  87
  
    
		}


  		





  87
  88
  
    
		return true;


  		





  88
  89
  
    
	}


  		












Formats disponibles :
  Unified diff