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 (from parent 1:
89314f7
)
idspacefillerpanel has borderlayout
author
amwaterhouse
<Andrew Waterhouse>
Thu, 17 Mar 2005 10:41:12 +0000
(10:41 +0000)
committer
amwaterhouse
<Andrew Waterhouse>
Thu, 17 Mar 2005 10:41:12 +0000
(10:41 +0000)
src/jalview/jbgui/GAlignmentPanel.java
patch
|
blob
|
history
diff --git
a/src/jalview/jbgui/GAlignmentPanel.java
b/src/jalview/jbgui/GAlignmentPanel.java
index
6e92380
..
bbbb1ab
100755
(executable)
--- a/
src/jalview/jbgui/GAlignmentPanel.java
+++ b/
src/jalview/jbgui/GAlignmentPanel.java
@@
-38,6
+38,7
@@
public class GAlignmentPanel extends JPanel
JPanel jPanel1 = new JPanel();
BorderLayout borderLayout10 = new BorderLayout();
protected JPanel hscrollFillerPanel = new JPanel();
JPanel jPanel1 = new JPanel();
BorderLayout borderLayout10 = new BorderLayout();
protected JPanel hscrollFillerPanel = new JPanel();
+ BorderLayout borderLayout11 = new BorderLayout();
public GAlignmentPanel()
{
public GAlignmentPanel()
{
@@
-73,6
+74,7
@@
public class GAlignmentPanel extends JPanel
idPanelHolder.setLayout(borderLayout5);
idSpaceFillerPanel1.setBackground(Color.white);
idSpaceFillerPanel1.setPreferredSize(new Dimension(10, 30));
idPanelHolder.setLayout(borderLayout5);
idSpaceFillerPanel1.setBackground(Color.white);
idSpaceFillerPanel1.setPreferredSize(new Dimension(10, 30));
+ idSpaceFillerPanel1.setLayout(borderLayout11);
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);
@@
-80,6
+82,7
@@
public class GAlignmentPanel extends JPanel
secondaryPanelHolder.setLayout(borderLayout8);
jPanel1.setLayout(borderLayout10);
hscrollFillerPanel.setBackground(Color.white);
secondaryPanelHolder.setLayout(borderLayout8);
jPanel1.setLayout(borderLayout10);
hscrollFillerPanel.setBackground(Color.white);
+ jPanel1.setBackground(Color.white);
sequenceHolderPanel.add(scalePanelHolder, BorderLayout.NORTH);
sequenceHolderPanel.add(seqPanelHolder, BorderLayout.CENTER);
seqPanelHolder.add(vscroll, BorderLayout.EAST);
sequenceHolderPanel.add(scalePanelHolder, BorderLayout.NORTH);
sequenceHolderPanel.add(seqPanelHolder, BorderLayout.CENTER);
seqPanelHolder.add(vscroll, BorderLayout.EAST);