From d8f540f51ba4fbff7ea3251278b02adc4c529010 Mon Sep 17 00:00:00 2001 From: Juergen Spitzmueller Date: Sun, 24 Apr 2022 14:21:56 +0200 Subject: [PATCH] Properly ignore debug levels in the GUI Not only none and any, but also the aliases. --- src/frontends/qt/GuiProgressView.cpp | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) diff --git a/src/frontends/qt/GuiProgressView.cpp b/src/frontends/qt/GuiProgressView.cpp index 0937c64199..b2e6ccc138 100644 --- a/src/frontends/qt/GuiProgressView.cpp +++ b/src/frontends/qt/GuiProgressView.cpp @@ -85,13 +85,17 @@ GuiProgressView::GuiProgressView(GuiView & parent, Qt::DockWidgetArea area, widget_->debugMessagesTW->setEnabled(false); widget_->debugNoneRB->setChecked(true); - // ignore Debug::NONE and Debug::ANY - int const level_count = Debug::levelCount() - 1; + int const level_count = Debug::levelCount(); DebugVector dmap; - for (int i = 1 ; i < level_count; i++) { + for (int i = 0 ; i < level_count; i++) { Debug::Type const level = Debug::value(i); + string const dbgname = Debug::name(level); + // ignore these + if (dbgname == "any" || dbgname == "all" + || dbgname == "none" || dbgname == "latex") + continue; QString const desc = - toqstr(from_ascii(Debug::name(level) + " - ")) + toqstr(from_ascii(dbgname + " - ")) + qt_(Debug::description(level)); dmap.push_back(DebugMap(level, desc)); } -- 2.39.2