import com.threerings.getdown.util.LaunchUtil;
-import edu.stanford.ejalbert.launching.IBrowserLaunching;
+//import edu.stanford.ejalbert.launching.IBrowserLaunching;
import groovy.lang.Binding;
import groovy.util.GroovyScriptEngine;
import jalview.ext.so.SequenceOntology;
import jalview.io.gff.SequenceOntologyFactory;
import jalview.schemes.ColourSchemeI;
import jalview.schemes.ColourSchemeProperty;
-import jalview.util.BrowserLauncher;
import jalview.util.ChannelProperties;
import jalview.util.HttpUtils;
import jalview.util.MessageManager;
import jalview.util.Platform;
import jalview.ws.jws2.Jws2Discoverer;
+import groovy.lang.Binding;
+import groovy.util.GroovyScriptEngine;
+
/**
* Main class for Jalview Application <br>
* <br>
running--;
}
}
- }).start();
+ }, "FeatureFetcherThread").start();
}
public synchronized boolean allFinished()
}.start();
}
- // set default browser
- String defaultBrowser = Cache.getProperty("DEFAULT_BROWSER");
- if (defaultBrowser != null)
- {
- System.setProperty(IBrowserLaunching.BROWSER_SYSTEM_PROPERTY,
- defaultBrowser);
- BrowserLauncher.resetBrowser();
- } // don't clearProperty if DEFAULT_BROWSER is null, might be set by user
-
String file = null, data = null;
FileFormatI format = null;
DataSourceType protocol = null;