Use mouse wheel press to zoom
authoramwaterhouse <Andrew Waterhouse>
Mon, 22 Aug 2005 17:04:37 +0000 (17:04 +0000)
committeramwaterhouse <Andrew Waterhouse>
Mon, 22 Aug 2005 17:04:37 +0000 (17:04 +0000)
commitf7411d1acf9235d91fb5e9adb1e0e3d36f44c861
tree172e9a3527020405796261403e496b488034eccb
parent36ddc5873f52fc3f38aa2605446a0cd77ca94070
Use mouse wheel press to zoom
src/jalview/gui/SeqPanel.java