From 3aa8ad0c4ad15ceac52c4f653b7d4e66995bb297 Mon Sep 17 00:00:00 2001
From: Thomas Jaggi <thomas.jaggi@gmail.com>
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 9640361a157..54024af493c 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 : "" ) );
 		}