| .. |
|
shaders
|
also scrape amenities from buildings themselves. make an 'other'
|
2020-05-13 13:58:15 -07:00 |
|
tools
|
lift phase controls out of a menu
|
2020-05-25 11:11:26 -07:00 |
|
widgets
|
make the 'closest parking' a little more obvious
|
2020-05-25 11:20:38 -07:00 |
|
assets.rs
|
for different DPIs, don't scale SVGs in map-space, only in screen-space.
|
2020-05-17 15:40:04 -07:00 |
|
backend_glium.rs
|
set a window icon
|
2020-05-09 09:48:24 -07:00 |
|
backend_glow.rs
|
set a window icon
|
2020-05-09 09:48:24 -07:00 |
|
backend_wasm.rs
|
set a window icon
|
2020-05-09 09:48:24 -07:00 |
|
canvas.rs
|
cleanup after PR, and start to wittle down EventLoopMode to handle
|
2020-05-23 11:23:38 -07:00 |
|
color.rs
|
stop dependending directly on serde_derive
|
2020-05-19 15:06:32 -07:00 |
|
drawing.rs
|
try brian's signals. making them the default to get used to them, but
|
2020-05-13 15:31:29 -07:00 |
|
event_ctx.rs
|
start organizing ezgui internal constants into a Style struct
|
2020-04-05 11:57:27 -07:00 |
|
event.rs
|
remove last users of ModalMenu. so long, (some variant of) the original widget.
|
2020-03-22 20:59:44 -07:00 |
|
geom.rs
|
breathe life into the little buggers
|
2020-05-25 17:10:15 -07:00 |
|
input.rs
|
start organizing ezgui internal constants into a Style struct
|
2020-04-05 11:57:27 -07:00 |
|
lib.rs
|
implement julian's contingency table-ish thing. buggy, but a start
|
2020-04-14 15:38:03 -07:00 |
|
managed.rs
|
Resolve #11 by panning map when cursor is at edge of screen (#57)
|
2020-05-23 10:42:59 -07:00 |
|
runner.rs
|
cleanup after PR, and start to wittle down EventLoopMode to handle
|
2020-05-23 11:23:38 -07:00 |
|
screen_geom.rs
|
stop dependending directly on serde_derive
|
2020-05-19 15:06:32 -07:00 |
|
style.rs
|
use colored checkboxes in plot too. generate the shape programatically.
|
2020-04-06 14:45:22 -07:00 |
|
svg.rs
|
for different DPIs, don't scale SVGs in map-space, only in screen-space.
|
2020-05-17 15:40:04 -07:00 |
|
text.rs
|
simple scatter plot idea for comparing trip times
|
2020-04-11 13:17:52 -07:00 |
