}
af.setBounds(safeInt(view.getXpos()), safeInt(view.getYpos()),
safeInt(view.getWidth()), safeInt(view.getHeight()));
+ af.alignPanel.fontChanged(); // make sure font is updated *before* we set ID width
// startSeq set in af.alignPanel.updateLayout below
af.alignPanel.updateLayout();
ColourSchemeI cs = null;