git://source.jalview.org
/
jalview.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
JAL-3253-applet feature parameter processing fixed
[jalview.git]
/
src
/
jalview
/
gui
/
Desktop.java
diff --git
a/src/jalview/gui/Desktop.java
b/src/jalview/gui/Desktop.java
index
826a869
..
c3640a9
100644
(file)
--- a/
src/jalview/gui/Desktop.java
+++ b/
src/jalview/gui/Desktop.java
@@
-22,8
+22,10
@@
package jalview.gui;
import jalview.api.AlignViewportI;
import jalview.api.AlignmentViewPanel;
import jalview.api.AlignViewportI;
import jalview.api.AlignmentViewPanel;
+import jalview.api.StructureSelectionManagerProvider;
+import jalview.bin.ApplicationSingletonProvider;
+import jalview.bin.ApplicationSingletonProvider.ApplicationSingletonI;
import jalview.bin.Cache;
import jalview.bin.Cache;
-import jalview.bin.Instance;
import jalview.bin.Jalview;
import jalview.gui.ImageExporter.ImageWriterI;
import jalview.io.BackupFiles;
import jalview.bin.Jalview;
import jalview.gui.ImageExporter.ImageWriterI;
import jalview.io.BackupFiles;
@@
-37,6
+39,7
@@
import jalview.io.FormatAdapter;
import jalview.io.IdentifyFile;
import jalview.io.JalviewFileChooser;
import jalview.io.JalviewFileView;
import jalview.io.IdentifyFile;
import jalview.io.JalviewFileChooser;
import jalview.io.JalviewFileView;
+import jalview.jbgui.GDesktop;
import jalview.jbgui.GSplitFrame;
import jalview.jbgui.GStructureViewer;
import jalview.project.Jalview2XML;
import jalview.jbgui.GSplitFrame;
import jalview.jbgui.GStructureViewer;
import jalview.project.Jalview2XML;
@@
-135,9
+138,9
@@
import org.stackoverflowusers.file.WindowsShortcut;
* @version $Revision: 1.155 $
*/
@SuppressWarnings("serial")
* @version $Revision: 1.155 $
*/
@SuppressWarnings("serial")
-public class Desktop extends jalview.jbgui.GDesktop
+public class Desktop extends GDesktop
implements DropTargetListener, ClipboardOwner, IProgressIndicator,
implements DropTargetListener, ClipboardOwner, IProgressIndicator,
- jalview.api.StructureSelectionManagerProvider
+ StructureSelectionManagerProvider, ApplicationSingletonI
{
private final static int DEFAULT_MIN_WIDTH = 300;
{
private final static int DEFAULT_MIN_WIDTH = 300;
@@
-199,10
+202,10
@@
public class Desktop extends jalview.jbgui.GDesktop
return Desktop.getInstance().desktopPane;
}
return Desktop.getInstance().desktopPane;
}
- public static StructureSelectionManager getStructureSelectionManager()
+ public StructureSelectionManager getStructureSelectionManager()
{
return StructureSelectionManager
{
return StructureSelectionManager
- .getStructureSelectionManager(Desktop.getInstance());
+ .getStructureSelectionManager(this);
}
static int openFrameCount = 0;
}
static int openFrameCount = 0;
@@
-351,11
+354,17
@@
public class Desktop extends jalview.jbgui.GDesktop
public MyDesktopPane desktopPane;
public MyDesktopPane desktopPane;
+ /**
+ * Answers an 'application scope' singleton instance of this class. Separate
+ * SwingJS 'applets' running in the same browser page will each have a
+ * distinct instance of Desktop.
+ *
+ * @return
+ */
public static Desktop getInstance()
{
public static Desktop getInstance()
{
- Instance i = Instance.getInstance();
- return (i.desktop == null ? (i.desktop = new Desktop(true))
- : i.desktop);
+ return (Desktop) ApplicationSingletonProvider
+ .getInstance(Desktop.class);
}
/**
}
/**
@@
-367,23
+376,24
@@
public class Desktop extends jalview.jbgui.GDesktop
{
instanceOnly = true;
}
{
instanceOnly = true;
}
+
/**
/**
- * Creates a new Desktop object.
+ * Private constructor enforces singleton pattern. It is called by reflection
+ * from ApplicationSingletonProvider.getInstance().
*/
*/
- public Desktop()
+ @SuppressWarnings("unused")
+ private Desktop()
{
/**
* A note to implementors. It is ESSENTIAL that any activities that might
* block are spawned off as threads rather than waited for during this
* constructor.
*/
{
/**
* A note to implementors. It is ESSENTIAL that any activities that might
* block are spawned off as threads rather than waited for during this
* constructor.
*/
- Instance.getInstance().desktop = this;
-
if (!Platform.isJS())
{
doVamsasClientCheck();
}
if (!Platform.isJS())
{
doVamsasClientCheck();
}
-
+
doConfigureStructurePrefs();
setTitle("Jalview " + jalview.bin.Cache.getProperty("VERSION"));
setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE);
doConfigureStructurePrefs();
setTitle("Jalview " + jalview.bin.Cache.getProperty("VERSION"));
setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE);
@@
-392,7
+402,7
@@
public class Desktop extends jalview.jbgui.GDesktop
boolean showjconsole = jalview.bin.Cache.getDefault("SHOW_JAVA_CONSOLE",
false);
desktopPane = new MyDesktopPane(selmemusage);
boolean showjconsole = jalview.bin.Cache.getDefault("SHOW_JAVA_CONSOLE",
false);
desktopPane = new MyDesktopPane(selmemusage);
-
+
showMemusage.setSelected(selmemusage);
desktopPane.setBackground(Color.white);
getContentPane().setLayout(new BorderLayout());
showMemusage.setSelected(selmemusage);
desktopPane.setBackground(Color.white);
getContentPane().setLayout(new BorderLayout());
@@
-400,16
+410,16
@@
public class Desktop extends jalview.jbgui.GDesktop
// JScrollPane sp = new JScrollPane();
// sp.getViewport().setView(desktop);
// getContentPane().add(sp, BorderLayout.CENTER);
// JScrollPane sp = new JScrollPane();
// sp.getViewport().setView(desktop);
// getContentPane().add(sp, BorderLayout.CENTER);
-
+
// BH 2018 - just an experiment to try unclipped JInternalFrames.
if (Platform.isJS())
{
getRootPane().putClientProperty("swingjs.overflow.hidden", "false");
}
// BH 2018 - just an experiment to try unclipped JInternalFrames.
if (Platform.isJS())
{
getRootPane().putClientProperty("swingjs.overflow.hidden", "false");
}
-
+
getContentPane().add(desktopPane, BorderLayout.CENTER);
desktopPane.setDragMode(JDesktopPane.OUTLINE_DRAG_MODE);
getContentPane().add(desktopPane, BorderLayout.CENTER);
desktopPane.setDragMode(JDesktopPane.OUTLINE_DRAG_MODE);
-
+
// This line prevents Windows Look&Feel resizing all new windows to maximum
// if previous window was maximised
desktopPane.setDesktopManager(new MyDesktopManager(
// This line prevents Windows Look&Feel resizing all new windows to maximum
// if previous window was maximised
desktopPane.setDesktopManager(new MyDesktopManager(
@@
-418,7
+428,7
@@
public class Desktop extends jalview.jbgui.GDesktop
? new AquaInternalFrameManager(
desktopPane.getDesktopManager())
: desktopPane.getDesktopManager())));
? new AquaInternalFrameManager(
desktopPane.getDesktopManager())
: desktopPane.getDesktopManager())));
-
+
Rectangle dims = getLastKnownDimensions("");
if (dims != null)
{
Rectangle dims = getLastKnownDimensions("");
if (dims != null)
{
@@
-431,7
+441,7
@@
public class Desktop extends jalview.jbgui.GDesktop
int yPos = Math.max(5, (screenSize.height - 650) / 2);
setBounds(xPos, yPos, 900, 650);
}
int yPos = Math.max(5, (screenSize.height - 650) / 2);
setBounds(xPos, yPos, 900, 650);
}
-
+
if (!Platform.isJS())
/**
* Java only
if (!Platform.isJS())
/**
* Java only
@@
-439,7
+449,7
@@
public class Desktop extends jalview.jbgui.GDesktop
* @j2sIgnore
*/
{
* @j2sIgnore
*/
{
-
+
jconsole = new Console(this, showjconsole);
// add essential build information
jconsole.setHeader("Jalview Version: "
jconsole = new Console(this, showjconsole);
// add essential build information
jconsole.setHeader("Jalview Version: "
@@
-452,19
+462,19
@@
public class Desktop extends jalview.jbgui.GDesktop
+ System.getProperty("os.arch") + " "
+ System.getProperty("os.name") + " "
+ System.getProperty("os.version"));
+ System.getProperty("os.arch") + " "
+ System.getProperty("os.name") + " "
+ System.getProperty("os.version"));
-
+
showConsole(showjconsole);
showConsole(showjconsole);
-
+
showNews.setVisible(false);
showNews.setVisible(false);
-
+
experimentalFeatures.setSelected(showExperimental());
experimentalFeatures.setSelected(showExperimental());
-
+
getIdentifiersOrgData();
getIdentifiersOrgData();
-
+
checkURLLinks();
checkURLLinks();
-
+
// Spawn a thread that shows the splashscreen
// Spawn a thread that shows the splashscreen
-
+
SwingUtilities.invokeLater(new Runnable()
{
@Override
SwingUtilities.invokeLater(new Runnable()
{
@Override
@@
-473,7
+483,7
@@
public class Desktop extends jalview.jbgui.GDesktop
new SplashScreen();
}
});
new SplashScreen();
}
});
-
+
// Thread off a new instance of the file chooser - this reduces the time
// it
// takes to open it later on.
// Thread off a new instance of the file chooser - this reduces the time
// it
// takes to open it later on.
@@
-493,7
+503,7
@@
public class Desktop extends jalview.jbgui.GDesktop
changeSupport.addJalviewPropertyChangeListener("services",
new PropertyChangeListener()
{
changeSupport.addJalviewPropertyChangeListener("services",
new PropertyChangeListener()
{
-
+
@Override
public void propertyChange(PropertyChangeEvent evt)
{
@Override
public void propertyChange(PropertyChangeEvent evt)
{
@@
-501,13
+511,13
@@
public class Desktop extends jalview.jbgui.GDesktop
+ evt.getNewValue());
JalviewServicesChanged(evt);
}
+ evt.getNewValue());
JalviewServicesChanged(evt);
}
-
+
});
});
-
+
}
}
-
+
this.setDropTarget(new java.awt.dnd.DropTarget(desktopPane, this));
this.setDropTarget(new java.awt.dnd.DropTarget(desktopPane, this));
-
+
this.addWindowListener(new WindowAdapter()
{
@Override
this.addWindowListener(new WindowAdapter()
{
@Override
@@
-516,7
+526,7
@@
public class Desktop extends jalview.jbgui.GDesktop
quit();
}
});
quit();
}
});
-
+
MouseAdapter ma;
this.addMouseListener(ma = new MouseAdapter()
{
MouseAdapter ma;
this.addMouseListener(ma = new MouseAdapter()
{
@@
-528,7
+538,7
@@
public class Desktop extends jalview.jbgui.GDesktop
showPasteMenu(evt.getX(), evt.getY());
}
}
showPasteMenu(evt.getX(), evt.getY());
}
}
-
+
@Override
public void mouseReleased(MouseEvent evt)
{
@Override
public void mouseReleased(MouseEvent evt)
{
@@
-539,7
+549,6
@@
public class Desktop extends jalview.jbgui.GDesktop
}
});
desktopPane.addMouseListener(ma);
}
});
desktopPane.addMouseListener(ma);
-
}
/**
}
/**
@@
-614,7
+623,7
@@
public class Desktop extends jalview.jbgui.GDesktop
}
}
}).start();
}
}
}).start();
- ;
+
}
@Override
}
@Override
@@
-964,7
+973,7
@@
public class Desktop extends jalview.jbgui.GDesktop
menuItem.removeActionListener(menuItem.getActionListeners()[0]);
}
Desktop.getInstance().windowMenu.remove(menuItem);
menuItem.removeActionListener(menuItem.getActionListeners()[0]);
}
Desktop.getInstance().windowMenu.remove(menuItem);
- };
+ }
});
menuItem.addActionListener(new ActionListener()
});
menuItem.addActionListener(new ActionListener()
@@
-2366,7
+2375,7
@@
public class Desktop extends jalview.jbgui.GDesktop
});
rthr.start();
}
});
rthr.start();
}
- };
+ }
});
VamsasStMenu.add(sessit);
}
});
VamsasStMenu.add(sessit);
}
@@
-3266,7
+3275,6
@@
public class Desktop extends jalview.jbgui.GDesktop
} catch (InterruptedException x)
{
}
} catch (InterruptedException x)
{
}
- ;
}
if (instanceOnly)
{
}
if (instanceOnly)
{
@@
-3555,7
+3563,6
@@
public class Desktop extends jalview.jbgui.GDesktop
System.err.println(
"Please ignore plist error - occurs due to problem with java 8 on OSX");
}
System.err.println(
"Please ignore plist error - occurs due to problem with java 8 on OSX");
}
- ;
}
} catch (Throwable ex)
{
}
} catch (Throwable ex)
{