From 3aa8ad0c4ad15ceac52c4f653b7d4e66995bb297 Mon Sep 17 00:00:00 2001 From: Thomas Jaggi Date: Mon, 28 Jan 2013 16:03:42 +0100 Subject: [PATCH] Slider: Added rounded corners to range area. Fixed #9024 - Slider: Range area needs rounded corners, too --- ui/jquery.ui.slider.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ui/jquery.ui.slider.js b/ui/jquery.ui.slider.js index 9640361a1..54024af49 100644 --- a/ui/jquery.ui.slider.js +++ b/ui/jquery.ui.slider.js @@ -80,7 +80,7 @@ $.widget( "ui.slider", $.ui.mouse, { .addClass( "ui-slider-range" + // note: this isn't the most fittingly semantic framework class for this element, // but worked best visually with a variety of themes - " ui-widget-header" + + " ui-widget-header ui-corner-all" + ( ( o.range === "min" || o.range === "max" ) ? " ui-slider-range-" + o.range : "" ) ); } -- 2.39.5