Dustin Carlino a4a20ce1e5 draw_text renamed to text_widget, for consistency. #253		2021-03-09 09:56:41 -08:00
..
render	Also grey out unhighlighted people when zoomed in. #539	2021-03-02 12:03:26 -08:00
tools	draw_text renamed to text_widget, for consistency. #253	2021-03-09 09:56:41 -08:00
colors.rs	Theme section bg	2021-02-27 13:13:41 -08:00
lib.rs	Always use ctx.style() to construct buttons. Remove the indirection through app's colorscheme.	2021-01-22 07:45:05 -08:00
load.rs	Use Noto font, not ZCOOL, because it has a full set of Chinese glyphs	2021-02-25 18:06:34 -08:00
options.rs	draw_text renamed to text_widget, for consistency. #253	2021-03-09 09:56:41 -08:00
simple_app.rs	Lift URL and viewport code from game to map_gui. Also use it for OSM viewer and the 15min tool.	2021-03-04 13:22:09 -08:00