title: how to change padding or height in slider in flutter?
body: <p>I want to change the height or padding of slider, I dont know what property is. But I can remove the margin on both sides and rounded borders but I don´t have an idea how to remove padding <a href="https://user-images.githubusercontent.com/10893692/64552228-70594180-d2fc-11e9-9df9-376517aa6446.png" rel="noreferrer">link</a></p>
  
  <pre><code>SliderTheme(
    data: SliderThemeData(
      disabledActiveTrackColor: Colors.blue,
      disabledInactiveTrackColor: Colors.black12,
      trackHeight: 3,
      thumbShape: RoundSliderThumbShape(enabledThumbRadius: 0.0),
      trackShape: RoundSliderTrackShape(),
    ),
    child: Slider(
      value: 10,
      onChanged: null,
      min: 0,
      max: 100,
    ),
  ),
  </code></pre>
  
  <p>I use <code>RoundSliderTrackShape</code> class to remove the margins on both sides and rounded borders</p>