Properly ignore debug levels in the GUI

Not only none and any, but also the aliases.

diff --git a/src/frontends/qt/GuiProgressView.cpp b/src/frontends/qt/GuiProgressView.cpp
index 0937c641996cda1f508e0549fc18424a36cfa1ec..b2e6ccc1383cd2f4273a5a6ea6ddc6f43fc51ec0 100644 (file)
--- 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));
        }