From d20e3d030586854d6ae5ba2b6578b7e09a53c2cf Mon Sep 17 00:00:00 2001 From: Max Whitehead Date: Thu, 11 Jul 2024 16:48:16 -0700 Subject: [PATCH] fix(pause_menu): Remove Map "Edit" button from pause menu until map editor restored --- src/ui/pause_menu.rs | 24 +++++++++++++----------- 1 file changed, 13 insertions(+), 11 deletions(-) diff --git a/src/ui/pause_menu.rs b/src/ui/pause_menu.rs index c04c0e3dd8..7ccd33f5f0 100644 --- a/src/ui/pause_menu.rs +++ b/src/ui/pause_menu.rs @@ -248,18 +248,20 @@ fn main_pause_menu( } }); + // Re-add edit button once map editor is back in game. + // // Edit button - ui.scope(|ui| { - if BorderedButton::themed(&meta.theme.buttons.normal, localization.get("edit")) - .min_size(vec2(width, 0.0)) - .show(ui) - .clicked() - { - // TODO: show editor. - pause_session(false, *is_online, session, false); - **close_pause_menu = true; - } - }); + // ui.scope(|ui| { + // if BorderedButton::themed(&meta.theme.buttons.normal, localization.get("edit")) + // .min_size(vec2(width, 0.0)) + // .show(ui) + // .clicked() + // { + // // TODO: show editor. + // pause_session(false, *is_online, session, false); + // **close_pause_menu = true; + // } + // }); // Main menu button if BorderedButton::themed(&meta.theme.buttons.normal, localization.get("main-menu"))