Use the same outline thickness for roads and intersections. [rebuild]…

… [release]
a-b-street · Feb 16, 2023 · 83d6c65 · dabreegster · Feb 16, 2023 · 83d6c65
1 parent 8d8c6f6
commit 83d6c65
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/map_gui/src/render/map.rs b/map_gui/src/render/map.rs
@@ -307,7 +307,7 @@ impl DrawMap {
                     unzoomed_pieces.push((
                         zorder + outline_z_offset,
                         outline_color.into(),
-                        pl.make_polygons(0.5 * outline_thickness).into(),
+                        pl.make_polygons(outline_thickness).into(),
                     ));
                 }
             }