<Swing Dev> [13] RFR JDK-8234733: We can't distinguish if the spinner button is pressed or unpressed

[Sergey Bylokhov]

On 11/25/19 2:43 am, Pankaj Bansal wrote:
> In GTKL&F, the spinner’s up/down buttons are drawn in same way whether the button is pressed or not. We can't distinguish visually whether a button is pressed or not. The buttons should be highlighted when they are in pressed state. The issue is due to style and theme changes done in gtk3 in version gtk3.20.

Does it mean that this is the behavior of the gtk3 native spinner component?

> Fix:
> 
> The fix sets the style properly when drawing the spinner buttons with gtk3.20 or higher. All works as it is if the gtk3 version is lower than gtk3.20. The current fix is in continuity of the fixes done for issues like https://bugs.openjdk.java.net/browse/JDK-8218469
> 
> Testing:
> 
> The fix can be verified by running SwingSet2 or any other demo/sample of JSpinner (one is attached in the JBS) and it has to be verified manually. I have verified this on Ubuntu 18.04, 19.04, 19.10 and OEL 7.5. The issue is solved on all platforms.
> 
> 
> Regards,
> Pankaj Bansal
> 


-- 
Best regards, Sergey.