+ @Override
+ public void mouseDragged(MouseEvent evt)
+ {
+ AlignViewportI viewport = ap.getAlignViewport();
+ int curwidth = viewport.getIdWidth();
+ int dif = evt.getX() - oldX;
+ int newWidth = curwidth + dif;
+ if ((newWidth > 20) || (dif > 0))
+ {
+ viewport.setIdWidth(newWidth);
+ ap.paintAlignment(true, false);
+ }
+ oldX = evt.getX();
+ }