Revision 458 org.gvsig.scripting.app/trunk/org.gvsig.scripting.app/org.gvsig.scripting.app.extension/src/main/java/org/gvsig/scripting/app/extension/ScriptingExtension.java

View differences:

ScriptingExtension.java
24 24 

  		




  25
  25
  
    

  		




  26
  26
  
    
import java.io.File;


  		




  
  27
  
    
import java.util.Arrays;


  		




  27
  28
  
    
import java.util.List;


  		




  28
  29
  
    

  		




  29
  30
  
    
import javax.swing.JOptionPane;


  		




  ......




  60
  61
  
    
		WindowManager winmanager = ToolsSwingLocator.getWindowManager();


  		




  61
  62
  
    
		


  		




  62
  63
  
    
		if( "tools-scripting-launcher".equalsIgnoreCase(command) ) {


  		




  63
  
  
    
		    winmanager.showWindow(uimanager.createLauncher(), "Scripting Launcher", WindowManager.MODE.TOOL);


  		




  
  64
  
    
		    winmanager.showWindow(uimanager.createLauncher(), uimanager.getTranslation("Scripting_Launcher"), WindowManager.MODE.TOOL);


  		




  64
  65
  
    
		    


  		




  65
  66
  
    
		} else if( "tools-scripting-composer".equalsIgnoreCase(command) ) {


  		




  66
  67
  
    
			DynObject preferences = this.getPlugin().getPluginProperties();


  		




  ......




  69
  70
  
    
			if( composerUseHisWindowManager.booleanValue() ) {


  		




  70
  71
  
    
				winmanager = new DefaultWindowManager();


  		




  71
  72
  
    
				composer.setWindowManager(winmanager);


  		




  72
  
  
    
				winmanager.showWindow(composer, "Scripting Composer", WindowManager.MODE.WINDOW);


  		




  
  73
  
    
				winmanager.showWindow(composer, uimanager.getTranslation("Scripting_Composer"), WindowManager.MODE.WINDOW);


  		




  73
  74
  
    
			} else {


  		




  74
  
  
    
				winmanager.showWindow(composer, "Scripting Composer", WindowManager.MODE.WINDOW);


  		




  
  75
  
    
				winmanager.showWindow(composer, uimanager.getTranslation("Scripting_Composer"), WindowManager.MODE.WINDOW);


  		




  75
  76
  
    
			}


  		




  76
  77
  
    
			


  		




  77
  78
  
    
		} else { 


  		




  ......




  99
  100
  
    
	    File home = this.getPlugin().getPluginHomeFolder();


  		




  100
  101
  
    
	    manager.setHomeFolder(home);


  		




  101
  102
  
    
    	


  		




  102
  
  
    
	    List<File> pluginsFolders = pluginManager.getPluginsFolders();


  		




  
  103
  
    
	    List<File> pluginsFolders = Arrays.asList(pluginManager.getPluginsFolder().listFiles());


  		




  103
  104
  
    
	    for( File pluginsFolder : pluginsFolders ) {


  		




  104
  105
  
    
		    File[] folders = pluginsFolder.listFiles();


  		




  105
  106
  
    
		    for (File folder : folders) {


  		












Also available in:  Unified diff