static JSlider jverticalLiveSlider(int min, int max, int def, final VF1<Int> f) {
  final JSlider s = jliveSlider(min, max, def, f);
  swing { s.setOrientation(JSlider.VERTICAL); }
  ret s;
}