Martin 9efd0c27aa Auto Generated updates		2024-02-10 15:40:34 -05:00
..
controls.js	Changes to support processing a file to display	2024-02-10 13:52:06 -05:00
controls.min.js	Auto Generated updates	2024-02-10 15:40:34 -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	Auto Generated updates	2024-02-10 15:40:34 -05: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