Give extra pixel for graph values Release_2_04
authoramwaterhouse <Andrew Waterhouse>
Wed, 24 Aug 2005 11:24:58 +0000 (11:24 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 24 Aug 2005 11:24:58 +0000 (11:24 +0000)
commit50101c6da4cd0c6cd3d0438fa66905aae30b58b7
treef7ab9fb041d6accf8ed86b63b1e81fb4d5fd1443
parentc80c766368e646a58a8e467cfdd2785a635f7fed
Give extra pixel for graph values
src/jalview/appletgui/AnnotationPanel.java
src/jalview/gui/AnnotationPanel.java