- viewport.getCodingComplement().setIdWidth(viewport.getIdWidth());
- SplitFrame sf = (SplitFrame) ap.alignFrame.getSplitViewContainer();
- sf.repaint();
- }
-
- }
-
- /**
- * DOCUMENT ME!
- *
- * @param evt
- * DOCUMENT ME!
- */
- public void mouseEntered(MouseEvent evt)
- {
- active = true;
- repaint();
- }
-
- /**
- * DOCUMENT ME!
- *
- * @param evt
- * DOCUMENT ME!
- */
- public void mouseExited(MouseEvent evt)
- {
- active = false;
- repaint();
- }
-
- /**
- * DOCUMENT ME!
- *
- * @param evt
- * DOCUMENT ME!
- */
- public void mouseDragged(MouseEvent evt)
- {
- active = true;
-
- final AlignViewportI viewport = ap.getAlignViewport();
- int curwidth = viewport.getIdWidth();
- int dif = evt.getX() - oldX;
-
- final int newWidth = curwidth + dif;
- if ((newWidth > 20) || (dif > 0))
- {
- viewport.setIdWidth(newWidth);
-
- ap.paintAlignment(true);
- }