Revision 38564 branches/v2_0_0_prep/libraries/libCorePlugin/src/org/gvsig/coreplugin/preferences/general/DirExtensionsPage.java

View differences:

DirExtensionsPage.java
39 39 
	}
40 40 

  		




  41
  41
  
    
	private void initialize() {


  		




  42
  
  
    
		icon = PluginServices.getIconTheme().get("file-manager");


  		




  
  42
  
    
		icon = PluginServices.getIconTheme().get("edit-setup-dirextension");


  		




  43
  43
  
    
	    this.setLayout(new BorderLayout());


  		




  44
  44
  
    
	    this.setSize(new java.awt.Dimension(386,177));


  		




  45
  45
  
    
	    this.add(getPN(), java.awt.BorderLayout.NORTH);


  		












Also available in:  Unified diff