Statistiques
| Révision :

root / tmp / org.eclipse.ui.workbench / .options @ 717

Historique | Voir | Annoter | Télécharger (245 octet)

1 
# Debugging options for the org.eclipse.ui.workbench plugin.
2 

    		
  

  

  

    
      3
    
    
      
# Turn on debugging for the org.eclipse.ui.workbench plugin.


    		
  

  

  

    
      4
    
    
      
org.eclipse.ui.workbench/debug=false


    		
  

  

  

    
      5
    
    
      

    		
  

  

  

    
      6
    
    
      
# Turn on tracing of e4 development messages


    		
  

  

  

    
      7
    
    
      
org.eclipse.ui.workbench/debug/e4=false