Pavel Porvatov 46533a9546 6587742: filling half of a JSlider's track is no longer optional ...

Now OceanTheme uses the JSlider.isFilled property like other themes

Reviewed-by: alexp

2008-09-10 19:16:14 +04:00

..

bug6587742.html

6587742: filling half of a JSlider's track is no longer optional

2008-09-10 19:16:14 +04:00

bug6587742.java

6587742: filling half of a JSlider's track is no longer optional

2008-09-10 19:16:14 +04:00