-
Type:
Bug
-
Resolution: Fixed
-
Priority:
P5
-
Affects Version/s: 6
-
Component/s: client-libs
-
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