-
Bug
-
Resolution: Fixed
-
P5
-
6
-
b03
-
generic
-
generic
-
Not verified
Have a look to BasicSpinnerUI.Handler.propertyChange() method line 965
there are two almost equals if() statements
965: if (newEditor instanceof JSpinner.DefaultEditor) {
976: if (newEditor instanceof JSpinner.DefaultEditor) {
the last one should be removed, it is likely to be merge error
there are two almost equals if() statements
965: if (newEditor instanceof JSpinner.DefaultEditor) {
976: if (newEditor instanceof JSpinner.DefaultEditor) {
the last one should be removed, it is likely to be merge error