import jalview.util.Platform;
import jalview.ws.jws2.Jws2Discoverer;
-import java.awt.Image;
-import java.awt.Taskbar;
import java.io.BufferedReader;
import java.io.File;
import java.io.FileOutputStream;
import javax.swing.LookAndFeel;
import javax.swing.UIManager;
+import com.threerings.getdown.util.LaunchUtil;
+
import groovy.lang.Binding;
import groovy.util.GroovyScriptEngine;
perms.add(new AllPermission());
return (perms);
}
-
+
@Override
public void refresh()
{
+ System.getProperty("os.name") + " "
+ System.getProperty("os.version"));
+ String appdirString = System.getProperty("getdownappdir");
+ if (appdirString != null && appdirString.length() > 0)
+ {
+ final File appdir = new File(appdirString);
+ new Thread()
+ {
+ @Override
+ public void run()
+ {
+ LaunchUtil.upgradeGetdown(
+ new File(appdir, "getdown-launcher-old.jar"),
+ new File(appdir, "getdown-launcher.jar"),
+ new File(appdir, "getdown-launcher-new.jar"));
+ }
+ }.start();
+
+ }
ArgsParser aparser = new ArgsParser(args);
boolean headless = false;
desktop = new Desktop();
desktop.setInBatchMode(true); // indicate we are starting up
- if (Taskbar.isTaskbarSupported())
+ try
{
- Taskbar tb = Taskbar.getTaskbar();
- if (tb.isSupported(Taskbar.Feature.ICON_IMAGE))
- {
- try
- {
- java.net.URL url = getClass()
- .getResource("/images/JalviewLogo_Huge.png");
- if (url != null)
- {
- Image image = java.awt.Toolkit.getDefaultToolkit()
- .createImage(url);
- tb.setIconImage(image);
- }
- } catch (Exception e)
- {
- e.printStackTrace();
- }
- }
+ JalviewTaskbar.setTaskbar(this);
+ } catch (Exception e)
+ {
+ System.out.println("Cannot set Taskbar");
+ // e.printStackTrace();
+ } catch (Throwable t)
+ {
+ System.out.println("Cannot set Taskbar");
+ // t.printStackTrace();
}
desktop.setVisible(true);
}
try
{
- Map<String, Object> vbinding = new HashMap<>();
+ Map<String, java.lang.Object> vbinding = new HashMap<>();
vbinding.put("Jalview", this);
if (af != null)
{