deprecated LayerSwitcher roundedCorner option

lib/OpenLayers/Control/LayerSwitcher.js

@@ -6,7 +6,7 @@
 /** 
  * @requires OpenLayers/Control.js
  * @requires OpenLayers/Lang.js
- * @requires Rico/Corner.js
+ * @requires OpenLayers/Console.js
  */
 
 /**
@@ -28,9 +28,13 @@ OpenLayers.Control.LayerSwitcher =
     /**
      * APIProperty: roundedCorner
      * {Boolean} If true the Rico library is used for rounding the corners
-     *     of the layer switcher div, defaults to true.
+     *     of the layer switcher div, defaults to false. *Deprecated*. Use
+     *     CSS3's border-radius instead. If this option is set to true the
+     *     Rico/Corner.js script must be loaded in the page, and therefore
+     *     listed in the build profile.
+     *
      */
-    roundedCorner: true,
+    roundedCorner: false,
 
     /**  
      * APIProperty: roundedCornerColor
@@ -115,6 +119,10 @@ OpenLayers.Control.LayerSwitcher =
     initialize: function(options) {
         OpenLayers.Control.prototype.initialize.apply(this, arguments);
         this.layerStates = [];
+
+        if(this.roundedCorner) {
+            OpenLayers.Console.warn('roundedCorner option is deprecated');
+        }
     },
 
     /**