Revision 41314 trunk/org.gvsig.desktop/org.gvsig.desktop.framework/org.gvsig.andami/src/main/java/org/gvsig/andami/ui/mdiManager/MDIManagerFactory.java

View differences:

MDIManagerFactory.java
41 41 
    private static MDIManager mdiManager = null;
42 42 
    private static Logger logger = Logger.getLogger(MDIManagerFactory.class.getName());
43 43 

  		




  44
  
  
    
    /**


  		




  45
  
  
    
     * DOCUMENT ME!


  		




  46
  
  
    
     *


  		




  47
  
  
    
     * @param extension DOCUMENT ME!


  		




  48
  
  
    
     * @param loader DOCUMENT ME!


  		




  49
  
  
    
     */


  		




  50
  44
  
    
    public static void setSkinExtension(SkinExtension extension,


  		




  51
  45
  
    
        PluginClassLoader loader) {


  		




  52
  46
  
    
        MDIManagerFactory.loader = loader;


  		












Also available in:  Unified diff