From 016ed9a4ca7f1d961c7e9fa06345ad3e75d989c5 Mon Sep 17 00:00:00 2001 From: tcofoegbu Date: Fri, 2 Jun 2017 15:29:25 +0100 Subject: [PATCH] JAL-2473 revised default minimum dimension for Alignment Frame windows --- src/jalview/gui/Desktop.java | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java index 63d88a0..d076ba0 100644 --- a/src/jalview/gui/Desktop.java +++ b/src/jalview/gui/Desktop.java @@ -133,6 +133,10 @@ public class Desktop extends jalview.jbgui.GDesktop implements private static int DEFAULT_MIN_HEIGHT = 250; + private static int ALIGN_FRAME_DEFAULT_MIN_WIDTH = 600; + + private static int ALIGN_FRAME_DEFAULT_MIN_HEIGHT = 70; + private static final String EXPERIMENTAL_FEATURES = "EXPERIMENTAL_FEATURES"; private JalviewChangeSupport changeSupport = new JalviewChangeSupport(); @@ -846,7 +850,19 @@ public class Desktop extends jalview.jbgui.GDesktop implements { frame.setMinimumSize(new Dimension(DEFAULT_MIN_WIDTH, DEFAULT_MIN_HEIGHT)); + + // Set default dimension for Alignment Frame window. + // The Alignment Frame window could be added from a number of places, + // hence, + // I did this here in order not to miss out on any Alignment frame. + if (frame instanceof AlignFrame) + { + frame.setMinimumSize(new Dimension(ALIGN_FRAME_DEFAULT_MIN_WIDTH, + ALIGN_FRAME_DEFAULT_MIN_HEIGHT)); + } } + + frame.setVisible(makeVisible); frame.setClosable(true); frame.setResizable(resizable); -- 1.7.10.2