diff --git a/src/gui_handler.cpp b/src/gui_handler.cpp index f020c5e19f4a1f09e3cec91647fd99727593daa5..a8ca0e5930218ce44f403e9aacb0f2fd12db4493 100644 --- a/src/gui_handler.cpp +++ b/src/gui_handler.cpp @@ -192,6 +192,8 @@ void GuiHandler::update(Toolbox& tb) { ImGui::Text("Drawers: %d", tb.num_drawers); ImGui::Text("Events: %d", tb.events.size()); ImGui::Text("Messages: %d", tb.mailbox.size()); + ImGui::Text("Timeout Threshold: %d s", tb.timeout_threshold); + ImGui::Text("Timeout Timer: %d s", tb.timeout_timer); ImGui::End(); /*Debugging: Event Console*/ /* @@ -392,6 +394,7 @@ void GuiHandler::draw_gui_(Toolbox& tb) { /*Game Control*/ if (ImGui::Button("RESET", ImVec2(140, 30))) { + /*If any of this changes, then also change TimeoutHandler::update!*/ tb.source_frequency = 5.f; /*TODO: If initial frequency changes, this must be adapted*/ tb.g_state = static_cast<int>(GSTATE::RUN); tb.m_state = static_cast<int>(MSTATE::IMMEDIATE);