From f4dce6ba44967b660a9203ccafb3847d8cca2c40 Mon Sep 17 00:00:00 2001
From: Pascal Engeler <engelerp@phys.ethz.ch>
Date: Wed, 11 Aug 2021 12:09:34 +0200
Subject: [PATCH] added timeout info to developer window
---
src/gui_handler.cpp | 3 +++
1 file changed, 3 insertions(+)
diff --git a/src/gui_handler.cpp b/src/gui_handler.cpp
index f020c5e..a8ca0e5 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);
--
GitLab