X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FDesktop.java;h=4877d7f7f56f908b30eb4b70a1e11bdf57aa2488;hb=36e7c887ef91f49f6065dea063180f7de146b3e1;hp=b8f8399c68631a50afbb198de82e276e9c1816e4;hpb=124aa4823768a2c745a5e41f2ebfe13ab77bbea4;p=jalview.git diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java index b8f8399..4877d7f 100644 --- a/src/jalview/gui/Desktop.java +++ b/src/jalview/gui/Desktop.java @@ -129,6 +129,10 @@ public class Desktop extends jalview.jbgui.GDesktop implements DropTargetListener, ClipboardOwner, IProgressIndicator, jalview.api.StructureSelectionManagerProvider { + private static int DEFAULT_MIN_WIDTH = 300; + + private static int DEFAULT_MIN_HEIGHT = 250; + private static final String EXPERIMENTAL_FEATURES = "EXPERIMENTAL_FEATURES"; private JalviewChangeSupport changeSupport = new JalviewChangeSupport(); @@ -836,6 +840,8 @@ public class Desktop extends jalview.jbgui.GDesktop implements openFrameCount++; + frame.setMinimumSize(new Dimension(DEFAULT_MIN_WIDTH, + DEFAULT_MIN_HEIGHT)); frame.setVisible(makeVisible); frame.setClosable(true); frame.setResizable(resizable);