CSpinner rightSpinner,
CSpinner bottomSpinner,
CSpinner leftSpinner) {
super(property);
m_allSpinner = allSpinner;
new CSpinnerDeferredNotifier(m_allSpinner, 500, new Listener() {
public void handleEvent(Event event) {
if (event.doit) {
int all = m_allSpinner.getSelection();
m_topSpinner.setSelection(all);
m_rightSpinner.setSelection(all);
m_bottomSpinner.setSelection(all);
m_leftSpinner.setSelection(all);
saveValue();
}
}
});
m_topSpinner = topSpinner;
new CSpinnerDeferredNotifier(m_topSpinner, 500, m_listener);
m_rightSpinner = rightSpinner;
new CSpinnerDeferredNotifier(m_rightSpinner, 500, m_listener);
m_bottomSpinner = bottomSpinner;
new CSpinnerDeferredNotifier(m_bottomSpinner, 500, m_listener);
m_leftSpinner = leftSpinner;
new CSpinnerDeferredNotifier(m_leftSpinner, 500, m_listener);
}