Révision 1785

tmp/org.txm.rcp/src/main/java/org/txm/rcp/utils/JobHandler.java (revision 1785)
126 126 
	public void done() {
127 127 
		if (currentMonitor != null) {
128 128 
			currentMonitor.done();
129 
			try {
130 
				StatusLine.setMessage(null);
131
132 
			} catch (Exception e) {}
133 129 
		}
134 130 
	}
135 131
tmp/org.txm.rcp/src/main/java/org/txm/rcp/editors/TXMEditor.java (revision 1785)
891 891 

  		





  892
  892
  
    
								// focus in the main widget 


  		





  893
  893
  
    
								setFocus();


  		





  
  894
  
    
								


  		





  
  895
  
    
								StatusLine.setMessage(null);


  		





  894
  896
  
    

  		





  895
  897
  
    
							} catch (Exception e) {


  		





  896
  898
  
    
								Log.finer("TXMEditor.compute(): " + TXMEditor.this.getClass().getSimpleName() + ": Error while refreshing the editor: " + e); //$NON-NLS-1$


  		












Formats disponibles :
  Unified diff