idspacefillerpanel has borderlayout
authoramwaterhouse <Andrew Waterhouse>
Thu, 17 Mar 2005 10:41:12 +0000 (10:41 +0000)
committeramwaterhouse <Andrew Waterhouse>
Thu, 17 Mar 2005 10:41:12 +0000 (10:41 +0000)
commit82a16ba2405ca35e9e734a1a7925e60f648c3e4b
tree11029953c4871c7a60f8fb9e03410f94206a4b08
parent89314f769c25209c3118135502268ac08759e762
idspacefillerpanel has borderlayout
src/jalview/jbgui/GAlignmentPanel.java