Dustin Carlino
d9e50a7e38
Use .into() for specifying keys to widgetry more ergonomically. #253
2020-09-18 09:26:14 -07:00
Michael Kirk
2b36b9f03a
add textured theme ( #335 )
2020-09-18 07:43:05 -07:00
Michael Kirk
cb84b729f6
FancyColor -> Fill ( #334 )
2020-09-17 23:34:25 -07:00
Michael Kirk
c0e2a611a0
introduce textures to rendering pipeline ( #333 )
2020-09-17 18:38:55 -07:00
Dustin Carlino
7bd1d937f9
Some of Yuwen's cosmetic traffic signal editor changes
2020-09-15 09:32:46 -07:00
Dustin Carlino
fff75fa5ba
Yuwen's new changelist UI (except for describing some of the changes in detail)
2020-09-14 17:40:04 -07:00
Dustin Carlino
0a3479a3d0
Implement the new file management part of Yuwen's edit mode sidebar UI.
...
Some bugs introduced when working with the default untitled proposal.
About to change the behavior of that in the next commit.
2020-09-14 13:58:12 -07:00
Dustin Carlino
2895d50a1e
Add tooltips to the agent meters, and stop showing both buses and passengers. Fixes #239 ( #323 )
2020-09-11 11:08:26 -07:00
Dustin Carlino
f1b1263ee2
Fix congestion capping impl when RESERVE_WHEN_STARTING_TRIP is enabled. It wasn't reseting the counter every hour.
2020-09-10 14:29:06 -07:00
Michael Kirk
c11cecf1ac
log cleanups ( #321 )
2020-09-10 14:20:35 -07:00
Dustin Carlino
5be4c2ca84
Add an API to add a new trip in the middle of the simulation. Fixes #313
...
[rebuild]
2020-09-06 13:53:31 -07:00
Michael Kirk
95b01c5f9e
macos fix: flip h-scroll to conventional direction ( #310 )
2020-09-06 13:10:37 -07:00
Dustin Carlino
70d2d1115e
Store polygon indices as u16, not u64. Maps from 743MB total down to
...
620MB!
2020-09-04 13:12:06 -07:00
Michael Kirk
db5b1622ad
preserve whitespace ( #304 )
...
* maintain whitespace in text (except trailing)
Note, until https://github.com/RazrFalcon/resvg/issues/317 is addressed,
trailing space does not affect the size of the text bounding box.
* remove space-holders now that spacing is preserved
2020-08-28 16:26:00 -07:00
Dustin Carlino
75610e2109
Split managed.rs into widgets/mod.rs and widgets/panel.rs ( #253 )
2020-08-27 12:23:43 -07:00
Dustin Carlino
de6a12e472
After much deliberation, rename Composite -> Panel ( #253 )
2020-08-27 12:12:44 -07: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
