Michael Kirk 00fb0ef8cd Cleanup dropdown - stop using unicode "down arrow" ... We were drawing "pop-up" style buttons in several places, using copy/pasted logic - which was simple enough when using a unicode glyph. But we want to use a different glyph which isn't in our font. Further, using an svg like this gives us finer grained control around the layout around the button "handle" than we could get with just space characters.		2020-09-24 19:12:39 -07:00
..
shaders	fix tooltip z-level	2020-09-23 11:27:50 -07:00
tools	Use .into() for specifying keys to widgetry more ergonomically. #253	2020-09-18 09:26:14 -07:00
widgets	Cleanup dropdown - stop using unicode "down arrow"	2020-09-24 19:12:39 -07:00
assets.rs	Upgrade most dependencies	2020-09-24 09:36:26 -07:00
backend_glow_native.rs	Upgrade most dependencies	2020-09-24 09:36:26 -07:00
backend_glow_wasm.rs	Mechanical rename of ezgui -> widgetry, a much better name to enchant the Rust community. #253 [rebuild]	2020-08-27 10:37:04 -07:00
backend_glow.rs	Don't clip tooltip. #331	2020-09-23 12:02:59 -07:00
canvas.rs	Individual hitboxes for multiple signals in the sidebar. #331	2020-09-19 11:52:15 -07:00
color.rs	FancyColor -> Fill (#334)	2020-09-17 23:34:25 -07:00
drawing.rs	Don't clip tooltip. #331	2020-09-23 12:02:59 -07:00
event_ctx.rs	Style the loading screen and add tips/news. Closes #180 [rebuild]	2020-09-20 13:02:27 -07:00
event.rs	Improve the signal demand dash with keys to change hour. And slightly	2020-09-19 10:18:23 -07:00
geom.rs	Cleanup dropdown - stop using unicode "down arrow"	2020-09-24 19:12:39 -07:00
input.rs	Use .into() for specifying keys to widgetry more ergonomically. #253	2020-09-18 09:26:14 -07:00
lib.rs	Individual hitboxes for multiple signals in the sidebar. #331	2020-09-19 11:52:15 -07:00
runner.rs	Add a /map/set-edits API call	2020-09-21 10:18:02 -07:00
screen_geom.rs	Mechanical rename of ezgui -> widgetry, a much better name to enchant the Rust community. #253 [rebuild]	2020-08-27 10:37:04 -07:00
style.rs	Style the loading screen and add tips/news. Closes #180 [rebuild]	2020-09-20 13:02:27 -07:00
svg.rs	FancyColor -> Fill (#334)	2020-09-17 23:34:25 -07:00
text.rs	Cleanup dropdown - stop using unicode "down arrow"	2020-09-24 19:12:39 -07:00