static JPanel sliderWithValueLabel(final JSlider slider) {
  final JLabel label = jlabel(str(slider.getValue()) + " ");
  onChange(slider, r {
    setText(label, str(slider.getValue()) + " ");
  });
  ret westAndCenter(label, slider);
}