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:
be81a18
)
change names of space filling panel
author
amwaterhouse
<Andrew Waterhouse>
Tue, 16 Nov 2004 15:25:50 +0000
(15:25 +0000)
committer
amwaterhouse
<Andrew Waterhouse>
Tue, 16 Nov 2004 15:25:50 +0000
(15:25 +0000)
src/jalview/jbgui/GAlignmentPanel.java
patch
|
blob
|
history
diff --git
a/src/jalview/jbgui/GAlignmentPanel.java
b/src/jalview/jbgui/GAlignmentPanel.java
index
c361c1e
..
51fd62c
100755
(executable)
--- a/
src/jalview/jbgui/GAlignmentPanel.java
+++ b/
src/jalview/jbgui/GAlignmentPanel.java
@@
-25,7
+25,7
@@
public class GAlignmentPanel extends JPanel
protected JPanel scalePanelHolder = new JPanel();
protected JPanel idPanelHolder = new JPanel();
BorderLayout borderLayout5 = new BorderLayout();
protected JPanel scalePanelHolder = new JPanel();
protected JPanel idPanelHolder = new JPanel();
BorderLayout borderLayout5 = new BorderLayout();
- JPanel jPanel3 = new JPanel();
+ protected JPanel idSpaceFillerPanel1 = new JPanel();
protected JPanel idSpaceFillerPanel = new JPanel();
BorderLayout borderLayout4 = new BorderLayout();
BorderLayout borderLayout6 = new BorderLayout();
protected JPanel idSpaceFillerPanel = new JPanel();
BorderLayout borderLayout4 = new BorderLayout();
BorderLayout borderLayout6 = new BorderLayout();
@@
-64,8
+64,8
@@
public class GAlignmentPanel extends JPanel
scorePanelHolder.setPreferredSize(new Dimension(10, 80));
scorePanelHolder.setLayout(borderLayout4);
idPanelHolder.setLayout(borderLayout5);
scorePanelHolder.setPreferredSize(new Dimension(10, 80));
scorePanelHolder.setLayout(borderLayout4);
idPanelHolder.setLayout(borderLayout5);
- jPanel3.setBackground(Color.white);
- jPanel3.setPreferredSize(new Dimension(10, 30));
+ idSpaceFillerPanel1.setBackground(Color.white);
+ idSpaceFillerPanel1.setPreferredSize(new Dimension(10, 30));
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);
@@
-78,7
+78,7
@@
public class GAlignmentPanel extends JPanel
seqPanelHolder.add(vscroll, BorderLayout.EAST);
seqPanelHolder.add(hscroll, BorderLayout.SOUTH);
this.add(idPanelHolder, BorderLayout.WEST);
seqPanelHolder.add(vscroll, BorderLayout.EAST);
seqPanelHolder.add(hscroll, BorderLayout.SOUTH);
this.add(idPanelHolder, BorderLayout.WEST);
- idPanelHolder.add(jPanel3, BorderLayout.NORTH);
+ idPanelHolder.add(idSpaceFillerPanel1, BorderLayout.NORTH);
idPanelHolder.add(idSpaceFillerPanel, BorderLayout.SOUTH);
}
idPanelHolder.add(idSpaceFillerPanel, BorderLayout.SOUTH);
}