diff --git a/rustdoc/game/pregame/built_info/constant.BUILT_TIME_UTC.html b/rustdoc/game/pregame/built_info/constant.BUILT_TIME_UTC.html index 8962bb7156..2c8332c376 100644 --- a/rustdoc/game/pregame/built_info/constant.BUILT_TIME_UTC.html +++ b/rustdoc/game/pregame/built_info/constant.BUILT_TIME_UTC.html @@ -1,5 +1,5 @@ game::pregame::built_info::BUILT_TIME_UTC - Rust

[−][src]Constant game::pregame::built_info::BUILT_TIME_UTC

pub const BUILT_TIME_UTC: &str = "Sun, 17 Jan 2021 19:11:08 +0000";

The built-time in RFC2822, UTC

+ Change settings

[−][src]Constant game::pregame::built_info::BUILT_TIME_UTC

pub const BUILT_TIME_UTC: &str = "Mon, 18 Jan 2021 01:51:30 +0000";

The built-time in RFC2822, UTC

\ No newline at end of file diff --git a/rustdoc/map_gui/tools/fn.nice_map_name.html b/rustdoc/map_gui/tools/fn.nice_map_name.html index 5072d6e094..707c3bf706 100644 --- a/rustdoc/map_gui/tools/fn.nice_map_name.html +++ b/rustdoc/map_gui/tools/fn.nice_map_name.html @@ -1,4 +1,4 @@ map_gui::tools::nice_map_name - Rust

[−][src]Function map_gui::tools::nice_map_name

pub fn nice_map_name(name: &MapName) -> &str
\ No newline at end of file + Change settings

[−][src]Function map_gui::tools::nice_map_name

pub fn nice_map_name(name: &MapName) -> &str
\ No newline at end of file diff --git a/rustdoc/map_gui/tools/fn.open_browser.html b/rustdoc/map_gui/tools/fn.open_browser.html index 94defb41d6..c963ee9806 100644 --- a/rustdoc/map_gui/tools/fn.open_browser.html +++ b/rustdoc/map_gui/tools/fn.open_browser.html @@ -1,4 +1,4 @@ map_gui::tools::open_browser - Rust

[−][src]Function map_gui::tools::open_browser

pub fn open_browser<I: Into<String>>(url: I)
\ No newline at end of file + Change settings

[−][src]Function map_gui::tools::open_browser

pub fn open_browser<I: Into<String>>(url: I)
\ No newline at end of file diff --git a/rustdoc/map_gui/tools/index.html b/rustdoc/map_gui/tools/index.html index 89a901eb3a..f33de03c58 100644 --- a/rustdoc/map_gui/tools/index.html +++ b/rustdoc/map_gui/tools/index.html @@ -1,7 +1,7 @@ map_gui::tools - Rust

[−][src]Module map_gui::tools

Assorted tools and UI states that're useful for applications built to display maps.

+ Change settings

[−][src]Module map_gui::tools

Assorted tools and UI states that're useful for applications built to display maps.

Modules

camera
city_picker
colors
heatmap
minimap
navigate
turn_explorer
ui

Generic UI tools. Some of this should perhaps be lifted to widgetry.

updater

Structs

diff --git a/rustdoc/src/game/debug/mod.rs.html b/rustdoc/src/game/debug/mod.rs.html index 07c790fc75..0f84a74b5f 100644 --- a/rustdoc/src/game/debug/mod.rs.html +++ b/rustdoc/src/game/debug/mod.rs.html @@ -1057,7 +1057,7 @@ MapName::new("krakow", "center"), MapName::seattle("lakeslice"), MapName::seattle("montlake"), - MapName::new("cambridge", "trumpington"), + MapName::new("cambridge", "great_kneighton"), MapName::seattle("udistrict"), ], )); diff --git a/rustdoc/src/game/home/runner/work/abstreet/abstreet/target/debug/build/game-b5501e76eef510ad/out/built.rs.html b/rustdoc/src/game/home/runner/work/abstreet/abstreet/target/debug/build/game-b5501e76eef510ad/out/built.rs.html index eb9813c0b4..f80940a879 100644 --- a/rustdoc/src/game/home/runner/work/abstreet/abstreet/target/debug/build/game-b5501e76eef510ad/out/built.rs.html +++ b/rustdoc/src/game/home/runner/work/abstreet/abstreet/target/debug/build/game-b5501e76eef510ad/out/built.rs.html @@ -122,7 +122,7 @@ /// The output of `rustdoc -V` pub const RUSTDOC_VERSION: &str = "rustdoc 1.49.0 (e1884a8e3 2020-12-29)"; /// The built-time in RFC2822, UTC -pub const BUILT_TIME_UTC: &str = "Sun, 17 Jan 2021 19:11:08 +0000"; +pub const BUILT_TIME_UTC: &str = "Mon, 18 Jan 2021 01:51:30 +0000"; /// The target architecture, given by `cfg!(target_arch)`. pub const CFG_TARGET_ARCH: &str = "x86_64"; /// The endianness, given by `cfg!(target_endian)`. diff --git a/rustdoc/src/map_gui/tools/mod.rs.html b/rustdoc/src/map_gui/tools/mod.rs.html index 74ef3ca0ce..879296d1bb 100644 --- a/rustdoc/src/map_gui/tools/mod.rs.html +++ b/rustdoc/src/map_gui/tools/mod.rs.html @@ -102,6 +102,7 @@ 99 100 101 +102 
 //! Assorted tools and UI states that're useful for applications built to display maps.
 
@@ -176,7 +177,8 @@
         ("seattle", "west_seattle") => "West Seattle",
         ("bellevue", "huge") => "Bellevue",
         ("berlin", "center") => "Berlin (city center)",
-        ("cambridge", "trumpington") => "Trumpington (outside Cambridge)",
+        ("cambridge", "great_kneighton") => "Great Kneighton (Cambridge)",
+        ("cheshire", "chapelford") => "Chapelford (Cheshire)",
         ("detroit", "downtown") => "Detroit",
         ("krakow", "center") => "Kraków (city center)",
         ("leeds", "huge") => "Leeds (entire area inside motorways)",