anchor.diff:  
   __resolution__:: The number of digits after the decimal point. The default is 0.
   
  -__orientation__:: The orientation can be either horizontal ([parameter]#SliderOrientation.HORIZONTAL#) or vertical ([parameter]#SliderOrientation.VERTICAL#). The default is horizontal.
  +__orientation__:: The orientation can be either horizontal ([parameter]#Orientation.HORIZONTAL#) or vertical ([parameter]#Orientation.VERTICAL#). The default is horizontal.
   
   As the [classname]#Slider# is a field component, you can handle value changes
   with a [classname]#ValueChangeListener#. The value of the [classname]#Slider#
  
positive.code: ----
  // Create a vertical slider
  Slider vertslider = new Slider(1, 100);
  vertslider.setOrientation(SliderOrientation.VERTICAL);
  ----
  
  __min__:: Minimum value of the slider range. The default is 0.0.
  
negative.code: } catch (ValueOutOfBoundsException e) {
  }
  ----
  
  <<figure.components.slider.example1>> shows both vertical (from the code
  examples) and horizontal sliders that control the size of a box. The slider
  