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