*/\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
import java.awt.*;\r
import javax.swing.*;\r
import javax.swing.border.*;\r
-import java.awt.event.MouseWheelListener;\r
-import java.awt.event.MouseWheelEvent;\r
\r
public class GAlignmentPanel\r
extends JPanel\r
annotationScroller.setPreferredSize(new Dimension(10, 80));\r
this.setPreferredSize(new Dimension(220, 166));\r
this.setRequestFocusEnabled(true);\r
- this.addMouseWheelListener(new MouseWheelListener()\r
- {\r
- public void mouseWheelMoved(MouseWheelEvent e)\r
- {\r
- this_mouseWheelMoved(e);\r
- }\r
- });\r
+\r
sequenceHolderPanel.add(scalePanelHolder, BorderLayout.NORTH);\r
sequenceHolderPanel.add(seqPanelHolder, BorderLayout.CENTER);\r
seqPanelHolder.add(vscroll, BorderLayout.EAST);\r
hscrollHolder.add(hscrollFillerPanel, BorderLayout.WEST);\r
this.add(sequenceHolderPanel, BorderLayout.CENTER);\r
}\r
-\r
- public void this_mouseWheelMoved(MouseWheelEvent e)\r
- {\r
-\r
- }\r
}\r