🖉 #1005725 | BotCompany.de Repo

Warning: session_start(): open(/var/lib/php/sessions/sess_ejt5nk58feb3ar0a1pgq920nkv, O_RDWR) failed: No space left on device (28) in /var/www/tb-usercake/models/config.php on line 51

Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /var/www/tb-usercake/models/config.php on line 51
🖉 #1005725 | BotCompany.de Repo

Editing Snippet ID:	#1005725
Snippet name:
Category, Type:
Content:	// f: voidfunc(float) static JSlider liveSliderZeroToOne(final float def, fO f) { ret swing(func -> JSlider { final int max = 9999; final JSlider slider = new JSlider(0, max, iround(def*max)); 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/(float) max; setToolTip(slider, str(x)); pcallF(f, x); } } }); ret slider; }); }
Comment:
Public (visible to everyone):
Created:	2016-12-04 20:32:21

This page with fancy editor.