X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FDesktop.java;h=97c6a2024e1a45800a4fb3e895e9566baf049ce2;hb=7e129811d6ff01074428462284dffc2a6c2395a4;hp=a705386a7373e7995f36f309dd51a6b187bb74f9;hpb=96589f3091facee1b50db52995b3a13425f0e96b;p=jalview.git diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java index a705386..97c6a20 100755 --- a/src/jalview/gui/Desktop.java +++ b/src/jalview/gui/Desktop.java @@ -115,6 +115,7 @@ public class Desktop extends jalview.jbgui.GDesktop frame.setLayer(JLayeredPane.PALETTE_LAYER); frame.setLocation((int) ((getWidth() - 750) / 2), (int) ((getHeight() - 160) / 2)); + addInternalFrame(frame, "", 750, 160, false); discoverer=new jalview.ws.Discoverer(); // Only gets started if gui is displayed. @@ -128,7 +129,7 @@ public class Desktop extends jalview.jbgui.GDesktop * @param w DOCUMENT ME! * @param h DOCUMENT ME! */ - public static void addInternalFrame(final JInternalFrame frame, + public static synchronized void addInternalFrame(final JInternalFrame frame, String title, int w, int h) { addInternalFrame(frame, title, w, h, true); @@ -143,7 +144,7 @@ public class Desktop extends jalview.jbgui.GDesktop * @param h DOCUMENT ME! * @param resizable DOCUMENT ME! */ - public static void addInternalFrame(final JInternalFrame frame, + public static synchronized void addInternalFrame(final JInternalFrame frame, String title, int w, int h, boolean resizable) { @@ -163,17 +164,9 @@ public class Desktop extends jalview.jbgui.GDesktop } - desktop.add(frame); openFrameCount++; - try - { - frame.setSelected(true); - } - catch (java.beans.PropertyVetoException e) - { - } - + frame.setVisible(true); frame.setClosable(true); frame.setResizable(resizable); frame.setMaximizable(resizable); @@ -182,10 +175,13 @@ public class Desktop extends jalview.jbgui.GDesktop if (frame.getX()<1 && frame.getY()<1) { - frame.setLocation(xOffset * openFrameCount, yOffset * (openFrameCount%10)+yOffset); + frame.setLocation(xOffset * openFrameCount, yOffset * ((openFrameCount-1)%10)+yOffset); } - frame.toFront(); + desktop.add(frame); + frame.toFront(); + + final JMenuItem menuItem = new JMenuItem(title); frame.addInternalFrameListener(new javax.swing.event.InternalFrameAdapter() { @@ -209,13 +205,11 @@ public class Desktop extends jalview.jbgui.GDesktop } catch (java.beans.PropertyVetoException ex) { - } - ; + } } }); - frame.setVisible(true); windowMenu.add(menuItem); }