| .. |
|
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
|
Multiple lane type transformations in bulk edit. #331
|
2020-09-23 11:55:19 -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
|
fix building overlap for isometric view (mostly) (#338)
|
2020-09-21 11:54: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
|
Use .into() for specifying keys to widgetry more ergonomically. #253
|
2020-09-18 09:26:14 -07:00 |
