<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_3igoj6olaik8j3uacj6lha6sf4, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
// f: voidfunc(float)
static JSlider liveSliderZeroToX(final float maxValue, final float def, fO f) {
  ret swing(func -> JSlider {
    final int max = 10000;
    final float factor = max/maxValue;
    final JSlider slider = new JSlider(0, max, iround(def*factor));
    slider.addChangeListener(new ChangeListener {
      int lastValue = slider.getValue();
      public void stateChanged(ChangeEvent e) {
        int value = slider.getValue();
        if (value != lastValue) {
          lastValue = value;
          float x = value/factor;
          setToolTip(slider, str(x));
          pcallF(f, x);
        }
      }
    });
    ret slider;
  });
}