*/\r
package jalview.gui;\r
\r
-import jalview.analysis.*;\r
-\r
import jalview.datamodel.*;\r
\r
import jalview.jbgui.*;\r
av.charHeight + fm.getDescent()));\r
\r
idPanel.idCanvas.gg = null;\r
+ seqPanel.seqCanvas.img = null;\r
annotationPanel.adjustPanelHeight();\r
\r
Dimension d = calculateIdWidth();\r
vscroll.setValues(y, vextent, 0, av.getAlignment().getHeight());\r
}\r
\r
- public void this_mouseWheelMoved(MouseWheelEvent e)\r
- {\r
- if(e.getWheelRotation()>0)\r
- scrollUp(false);\r
- else\r
- scrollUp(true);\r
- }\r
-\r
\r
/**\r
* DOCUMENT ME!\r