Dustin Carlino 10d3c0aa60 get rid of the warping and normal item sliders. do something more manual in the (dev tools only) places using them. going to rethink slider API more carefully later. ... (removed individual/all PSRC trip viz; these haven't been useful for a long time, and the people/schedule stuff is kinda replacing it anyway)		2020-03-22 14:55:16 -07:00
..
src	get rid of the warping and normal item sliders. do something more manual in the (dev tools only) places using them. going to rethink slider API more carefully later.	2020-03-22 14:55:16 -07:00
build.rs	embed a version number in the title screen	2020-01-29 11:43:54 -08:00
Cargo.toml	express many ezgui widgets as a generic trait.	2020-03-22 14:06:02 -07:00
compare_screencaps.sh	finally grouping system data too. forgot some data/input things...	2019-12-03 12:22:59 -08:00
confirm_screencap.sh	finally grouping system data too. forgot some data/input things...	2019-12-03 12:22:59 -08:00