Dustin Carlino 00840f1bbc Now that @michaelkirk figured out how to preserve space, use it in a few more places in the UI. There are a few remaining places in the tutorial that use "- ", but I think the bullet point style is reasonable there. Maybe a Unicode dot would look better.		2020-08-28 16:35:10 -07:00
..
src	Now that @michaelkirk figured out how to preserve space, use it in a few more places in the UI. There are a few remaining places in the tutorial that use "- ", but I think the bullet point style is reasonable there. Maybe a Unicode dot would look better.	2020-08-28 16:35:10 -07:00
build.rs	load different colorschemes in another way	2020-04-04 14:29:45 -07:00
Cargo.toml	Mechanical rename of ezgui -> widgetry, a much better name to enchant the Rust community. #253 [rebuild]	2020-08-27 10:37:04 -07:00
compare_screencaps.sh	zip screenshots in dropbox, because managing individual files keeps crashing the daemon	2020-07-07 16:31:52 -07:00
confirm_screencap.sh	zip screenshots in dropbox, because managing individual files keeps crashing the daemon	2020-07-07 16:31:52 -07:00