From da84329cbc3cfe1382e63441a6d75424c2e2c81c Mon Sep 17 00:00:00 2001 From: Jonni Liljamo Date: Wed, 10 May 2023 17:09:39 +0300 Subject: [PATCH] fix(client): rename details_ui to dev_details_ui --- client/src/plugins/game/ui/mod.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/client/src/plugins/game/ui/mod.rs b/client/src/plugins/game/ui/mod.rs index 7a3cd3e..8e14b92 100644 --- a/client/src/plugins/game/ui/mod.rs +++ b/client/src/plugins/game/ui/mod.rs @@ -22,11 +22,11 @@ pub struct GameUIPlugin; impl Plugin for GameUIPlugin { fn build(&self, app: &mut App) { - app.add_system(details_ui.run_if(in_state(AppState::InGame))); + app.add_system(dev_details_ui.run_if(in_state(AppState::InGame))); } } -pub fn details_ui( +pub fn dev_details_ui( mut contexts: EguiContexts, global: Res, game_data: Res, -- 2.44.1