MartinMueller2003 d3c6df5cfa Restored custom port support.

2023-12-14 08:34:17 -05:00

..

controls.js

Restored missing port identifier for custom port support.

2023-12-14 08:32:59 -05:00

controls.min.js

Restored custom port support.

2023-12-14 08:34:17 -05:00

graph.js

small fixes to graph UI element to make X-axis labels legible and meaningful

2022-11-21 16:05:29 +01:00

graph.min.js

small fixes to graph UI element to make X-axis labels legible and meaningful

2022-11-21 16:05:29 +01:00

slider.js

Fixing sliders not updating properly

2020-08-26 22:16:02 +02:00

slider.min.js

Added more robust retry when a socket error occurs.

2022-09-27 10:31:07 -04:00

tabbedcontent.js

Added tabbedcontent.js (from https://github.com/elboletaire/tabbedcontent)

2019-03-03 23:27:11 +01:00

tabbedcontent.min.js

Added more robust retry when a socket error occurs.

2022-09-27 10:31:07 -04:00

zepto.min.js

Moved examples/gui/data to data/ and adjusted tools/*.py

2019-03-03 21:23:39 +01:00