public void setWidth(int newWidth)
{
if (newWidth < MIN_ID_WIDTH
- || ap.getIdPanel().getIdCanvas().manuallyAdjusted())
+ || ap.getIdPanel().getIdCanvas().isManuallyAdjusted())
{
return;
}
public boolean manuallyAdjusted()
{
- return ap.getIdPanel().getIdCanvas().manuallyAdjusted();
+ return ap.getIdPanel().getIdCanvas().isManuallyAdjusted();
}
@Override