import javax.swing.JPanel;
import jalview.api.AlignViewportI;
+import jalview.bin.Cache;
/**
* DOCUMENT ME!
{
return;
}
+
+ // TODO JAL-4260 - work out how to trigger recomputation of wrapped pages !
+ int curCol = viewport.getRanges().getStartRes()
+ + viewport.getRanges().getViewportWidth();
+
viewport.setIdWidth(newWidth);
+
ap.validateAnnotationDimensions(false);
+ if (viewport.getWrapAlignment())
+ {
+ viewport.getRanges().scrollToWrappedVisible(
+ curCol - viewport.getRanges().getViewportWidth());
+ }
ap.paintAlignment(true, false);
-
+
ap.getIdPanel().getIdCanvas().setManuallyAdjusted(true);
}
@Override
public void paintComponent(Graphics g)
{
+ int width = getWidth();
+ int height = getHeight();
g.setColor(Color.white);
- g.fillRect(0, 0, getWidth(), getHeight());
+ g.fillRect(0, 0, width, height);
+
+ if (!Cache.getDefault(AnnotationLabels.RESIZE_MARGINS_MARK_PREF, false))
+ // && !ap.getAlignViewport().getWrapAlignment()) // now allowing adjustment
+ // in wrap mode
+ {
+ int spacer = Math.max(2, AnnotationLabels.HEIGHT_ADJUSTER_HEIGHT / 4);
+ g.setColor(Color.LIGHT_GRAY);
+ g.drawLine(width - 3 * spacer, 0, width - 3 * spacer, height / 2);
+ g.drawLine(width - spacer, 0, width - spacer, height / 2);
+ }
+
setCursor(Cursor.getPredefinedCursor(Cursor.W_RESIZE_CURSOR));
}
}