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:
1da6c93
)
new hscrollfillpanel
author
amwaterhouse
<Andrew Waterhouse>
Tue, 15 Mar 2005 16:12:42 +0000
(16:12 +0000)
committer
amwaterhouse
<Andrew Waterhouse>
Tue, 15 Mar 2005 16:12:42 +0000
(16:12 +0000)
src/jalview/jbgui/GAlignmentPanel.java
patch
|
blob
|
history
diff --git
a/src/jalview/jbgui/GAlignmentPanel.java
b/src/jalview/jbgui/GAlignmentPanel.java
index
cfee93c
..
6e92380
100755
(executable)
--- a/
src/jalview/jbgui/GAlignmentPanel.java
+++ b/
src/jalview/jbgui/GAlignmentPanel.java
@@
-31,12
+31,13
@@
public class GAlignmentPanel extends JPanel
BorderLayout borderLayout6 = new BorderLayout();
ButtonGroup buttonGroup1 = new ButtonGroup();
BorderLayout borderLayout7 = new BorderLayout();
BorderLayout borderLayout6 = new BorderLayout();
ButtonGroup buttonGroup1 = new ButtonGroup();
BorderLayout borderLayout7 = new BorderLayout();
- JPanel jPanel1 = new JPanel();
- FlowLayout flowLayout1 = new FlowLayout();
JPanel jPanel3 = new JPanel();
protected JPanel secondaryPanelHolder = new JPanel();
BorderLayout borderLayout8 = new BorderLayout();
BorderLayout borderLayout9 = new BorderLayout();
JPanel jPanel3 = new JPanel();
protected JPanel secondaryPanelHolder = new JPanel();
BorderLayout borderLayout8 = new BorderLayout();
BorderLayout borderLayout9 = new BorderLayout();
+ JPanel jPanel1 = new JPanel();
+ BorderLayout borderLayout10 = new BorderLayout();
+ protected JPanel hscrollFillerPanel = new JPanel();
public GAlignmentPanel()
{
public GAlignmentPanel()
{
@@
-75,20
+76,15
@@
public class GAlignmentPanel extends JPanel
idSpaceFillerPanel.setBackground(Color.white);
idSpaceFillerPanel.setPreferredSize(new Dimension(10, 80));
hscroll.setOrientation(JScrollBar.HORIZONTAL);
idSpaceFillerPanel.setBackground(Color.white);
idSpaceFillerPanel.setPreferredSize(new Dimension(10, 80));
hscroll.setOrientation(JScrollBar.HORIZONTAL);
- hscroll.setMinimumSize(new Dimension(250, 16));
- hscroll.setPreferredSize(new Dimension(250, 16));
- vscroll.setEnabled(true);
- jPanel1.setBackground(new Color(220, 220, 220));
- jPanel1.setLayout(flowLayout1);
- flowLayout1.setHgap(0);
- flowLayout1.setVgap(0);
jPanel3.setLayout(borderLayout9);
secondaryPanelHolder.setLayout(borderLayout8);
jPanel3.setLayout(borderLayout9);
secondaryPanelHolder.setLayout(borderLayout8);
+ jPanel1.setLayout(borderLayout10);
+ hscrollFillerPanel.setBackground(Color.white);
sequenceHolderPanel.add(scalePanelHolder, BorderLayout.NORTH);
sequenceHolderPanel.add(seqPanelHolder, BorderLayout.CENTER);
sequenceHolderPanel.add(scalePanelHolder, BorderLayout.NORTH);
sequenceHolderPanel.add(seqPanelHolder, BorderLayout.CENTER);
+ seqPanelHolder.add(vscroll, BorderLayout.EAST);
this.add(jPanel2, BorderLayout.CENTER);
jPanel2.add(sequenceHolderPanel, BorderLayout.CENTER);
this.add(jPanel2, BorderLayout.CENTER);
jPanel2.add(sequenceHolderPanel, BorderLayout.CENTER);
- seqPanelHolder.add(vscroll, BorderLayout.EAST);
sequenceHolderPanel.add(jPanel3, BorderLayout.SOUTH);
jPanel3.add(scorePanelHolder, BorderLayout.CENTER);
// jPanel3.add(secondaryPanelHolder, BorderLayout.SOUTH);
sequenceHolderPanel.add(jPanel3, BorderLayout.SOUTH);
jPanel3.add(scorePanelHolder, BorderLayout.CENTER);
// jPanel3.add(secondaryPanelHolder, BorderLayout.SOUTH);
@@
-96,7
+92,8
@@
public class GAlignmentPanel extends JPanel
idPanelHolder.add(idSpaceFillerPanel1, BorderLayout.NORTH);
idPanelHolder.add(idSpaceFillerPanel, BorderLayout.SOUTH);
this.add(jPanel1, BorderLayout.SOUTH);
idPanelHolder.add(idSpaceFillerPanel1, BorderLayout.NORTH);
idPanelHolder.add(idSpaceFillerPanel, BorderLayout.SOUTH);
this.add(jPanel1, BorderLayout.SOUTH);
- jPanel1.add(hscroll, null);
+ jPanel1.add(hscroll, BorderLayout.CENTER);
+ jPanel1.add(hscrollFillerPanel, BorderLayout.WEST);
}
}