git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a53d119) | patch
prevent idpanel being to narrow
authoramwaterhouse <Andrew Waterhouse>
Mon, 21 Mar 2005 18:46:25 +0000 (18:46 +0000)
committeramwaterhouse <Andrew Waterhouse>
Mon, 21 Mar 2005 18:46:25 +0000 (18:46 +0000)
commit74bdd7428aed598861d18281124c9143604a82de
treeb31ecea6ba03fcc46555309c7ae348e8376674f6tree | snapshot
parenta53d1197abfc832020cefd499d3b08188d04bafbcommit | diff
prevent idpanel being to narrow
src/jalview/gui/IdwidthAdjuster.java diff | blob | history