Dustin Carlino
abf3dbc859
Don't specify a widgetry backend by default; force every user to set the feature explicitly.
2020-11-22 18:35:03 -08:00
Dustin Carlino
2935d2379b
Mechanical rename of ezgui -> widgetry, a much better name to enchant the Rust community. #253 [rebuild]
2020-08-27 10:37:04 -07:00
Dustin Carlino
ad423b22e9
Remove the glium backend, now that @michaelkirk has gotten the glow native/wasm backends ship-shape. Got rid of the glutin fallback behavior for now; need to ideally upstream something there for #103
2020-08-20 16:59:54 -07:00
Dustin Carlino
855d8f4d22
update glutin, winit, glium now that a fix for linux startup time is upstreamed in glutin. and a few other packages too. ditch geo-offset dependency, since it uses old versions and isn't being used yet
2020-06-01 09:18:17 -07:00
Dustin Carlino
c65b120044
get map_editor working on wasm target
2020-02-14 16:04:33 -08:00
Dustin Carlino
10f2f6008f
improve map_editor's intersection preview
...
- timer for setting up world
- preview all intersections
- move world to map_editor; it's too oddly specialized
- dont show circle while previewing intersection geom
- show overlapping intersection polygons
2019-10-16 15:08:22 -07:00
Dustin Carlino
76f5dc21be
steps towards producing an osm change file
2019-10-15 13:43:47 -07:00
Dustin Carlino
18b5d1ae8f
goodbye, fix_map_geom. rename synthetic crate to map_editor
2019-09-23 13:54:09 -07:00
