274275276277278279280281282283284
gc.setBackground(oldBg); } }); newSash.addControlListener(new ControlListener() { /** * @see org.eclipse.swt.events.ControlAdapter#controlMoved(ControlEvent) */ public void controlMoved(ControlEvent e) { recomputeSashInfo();