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:
47984e1
)
Hscrollbar is shortened
author
amwaterhouse
<Andrew Waterhouse>
Fri, 14 Jan 2005 15:46:04 +0000
(15:46 +0000)
committer
amwaterhouse
<Andrew Waterhouse>
Fri, 14 Jan 2005 15:46:04 +0000
(15:46 +0000)
src/jalview/jbgui/GAlignmentPanel.java
patch
|
blob
|
history
diff --git
a/src/jalview/jbgui/GAlignmentPanel.java
b/src/jalview/jbgui/GAlignmentPanel.java
index
7d8ace7
..
4f6e29c
100755
(executable)
--- a/
src/jalview/jbgui/GAlignmentPanel.java
+++ b/
src/jalview/jbgui/GAlignmentPanel.java
@@
-31,6
+31,8
@@
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();
public GAlignmentPanel()
{
public GAlignmentPanel()
{
@@
-69,7
+71,13
@@
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);
vscroll.setEnabled(true);
+ jPanel1.setBackground(new Color(220, 220, 220));
+ jPanel1.setLayout(flowLayout1);
+ flowLayout1.setHgap(0);
+ flowLayout1.setVgap(0);
sequenceHolderPanel.add(scorePanelHolder, BorderLayout.SOUTH);
sequenceHolderPanel.add(scalePanelHolder, BorderLayout.NORTH);
sequenceHolderPanel.add(seqPanelHolder, BorderLayout.CENTER);
sequenceHolderPanel.add(scorePanelHolder, BorderLayout.SOUTH);
sequenceHolderPanel.add(scalePanelHolder, BorderLayout.NORTH);
sequenceHolderPanel.add(seqPanelHolder, BorderLayout.CENTER);
@@
-79,7
+87,8
@@
public class GAlignmentPanel extends JPanel
this.add(idPanelHolder, BorderLayout.WEST);
idPanelHolder.add(idSpaceFillerPanel1, BorderLayout.NORTH);
idPanelHolder.add(idSpaceFillerPanel, BorderLayout.SOUTH);
this.add(idPanelHolder, BorderLayout.WEST);
idPanelHolder.add(idSpaceFillerPanel1, BorderLayout.NORTH);
idPanelHolder.add(idSpaceFillerPanel, BorderLayout.SOUTH);
- this.add(hscroll, BorderLayout.SOUTH);
+ this.add(jPanel1, BorderLayout.SOUTH);
+ jPanel1.add(hscroll, null);
}
}