tree 6d6c96c0e4693b284e137cc9bb8963e337137289
parent 9a1dac53bb9c81dbf41dac70fa2213e59921c474
author Felipe Heidrich <fheidric> 1282768093 +0000
committer Felipe Heidrich <fheidric> 1282768093 +0000

BACKPORT: Bug 323219 - Spinner.setDigits triggers a SWT.Selection Event on Linux and not on Windows