Make URL input window bigger
authoramwaterhouse <Andrew Waterhouse>
Wed, 8 Feb 2006 15:26:11 +0000 (15:26 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 8 Feb 2006 15:26:11 +0000 (15:26 +0000)
commit8d056f642902ae55c05cde27742187ae55451421
treeafeae997768ba95d1e83fd1667a159671f711066
parent98e5ebe726c30cca66c22541ddb98228d914805a
Make URL input window bigger
src/jalview/gui/Desktop.java