git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 449db06) | patch
checks for scrollbar height
authoramwaterhouse <Andrew Waterhouse>
Wed, 18 Apr 2007 12:03:28 +0000 (12:03 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 18 Apr 2007 12:03:28 +0000 (12:03 +0000)
commitaaf102359fb79ae6c1ba888439cc37dc42b6b0a8
treefbe77c4db8f2ed7d48b906dcdfb4d4d8ce6994e9tree | snapshot
parent449db06a788539e8ea7463ff4b56f012280994d0commit | diff
checks for scrollbar height
src/jalview/gui/AlignmentPanel.java diff | blob | history