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
Merge branch 'develop' into features/JAL-1648_cache_user_inputs
[jalview.git]
/
src
/
jalview
/
fts
/
core
/
GFTSPanel.java
diff --git
a/src/jalview/fts/core/GFTSPanel.java
b/src/jalview/fts/core/GFTSPanel.java
index
8b04959
..
f1db383
100644
(file)
--- a/
src/jalview/fts/core/GFTSPanel.java
+++ b/
src/jalview/fts/core/GFTSPanel.java
@@
-149,6
+149,10
@@
public abstract class GFTSPanel extends JPanel implements GFTSPanelI
protected HashSet<String> paginatorCart = new HashSet<String>();
protected HashSet<String> paginatorCart = new HashSet<String>();
+ private static final int MIN_WIDTH = 670;
+
+ private static final int MIN_HEIGHT = 300;
+
protected static final DecimalFormat totalNumberformatter = new DecimalFormat(
"###,###");
protected static final DecimalFormat totalNumberformatter = new DecimalFormat(
"###,###");
@@
-237,6
+241,7
@@
public abstract class GFTSPanel extends JPanel implements GFTSPanelI
try
{
jbInit();
try
{
jbInit();
+ mainFrame.setMinimumSize(new Dimension(MIN_WIDTH, MIN_HEIGHT));
mainFrame.addFocusListener(new FocusAdapter()
{
@Override
mainFrame.addFocusListener(new FocusAdapter()
{
@Override