git://source.jalview.org
/
jalview.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
b701404
)
JAL-3490 extract constants for number of rows in layout
author
gmungoc
<g.m.carstairs@dundee.ac.uk>
Wed, 11 Dec 2019 13:09:43 +0000
(13:09 +0000)
committer
gmungoc
<g.m.carstairs@dundee.ac.uk>
Wed, 11 Dec 2019 13:09:43 +0000
(13:09 +0000)
src/jalview/jbgui/GFinder.java
patch
|
blob
|
history
diff --git
a/src/jalview/jbgui/GFinder.java
b/src/jalview/jbgui/GFinder.java
index
57beaee
..
1600b75
100755
(executable)
--- a/
src/jalview/jbgui/GFinder.java
+++ b/
src/jalview/jbgui/GFinder.java
@@
-52,6
+52,12
@@
public class GFinder extends JPanel
private static final String FINDER_CACHE_KEY = "CACHE.FINDER";
private static final String FINDER_CACHE_KEY = "CACHE.FINDER";
+ /*
+ * if more checkboxes are wanted, increase this value
+ * and add to centrePanel in jbInit()
+ */
+ private static final int PANEL_ROWS = 4;
+
protected JButton createFeatures;
protected JvCacheableInputBox<String> searchBox;
protected JButton createFeatures;
protected JvCacheableInputBox<String> searchBox;
@@
-96,13
+102,13
@@
public class GFinder extends JPanel
*/
this.setLayout(new BorderLayout());
JPanel eastPanel = new JPanel();
*/
this.setLayout(new BorderLayout());
JPanel eastPanel = new JPanel();
- eastPanel.setLayout(new GridLayout(4, 1));
+ eastPanel.setLayout(new GridLayout(PANEL_ROWS, 1));
this.add(eastPanel, BorderLayout.EAST);
JPanel centrePanel = new JPanel();
this.add(eastPanel, BorderLayout.EAST);
JPanel centrePanel = new JPanel();
- centrePanel.setLayout(new GridLayout(4, 1));
+ centrePanel.setLayout(new GridLayout(PANEL_ROWS, 1));
this.add(centrePanel, BorderLayout.CENTER);
JPanel westPanel = new JPanel();
this.add(centrePanel, BorderLayout.CENTER);
JPanel westPanel = new JPanel();
- westPanel.setLayout(new GridLayout(4, 1));
+ westPanel.setLayout(new GridLayout(PANEL_ROWS, 1));
this.add(westPanel, BorderLayout.WEST);
/*
this.add(westPanel, BorderLayout.WEST);
/*