Show names of debug modes in the debug panel

Sometimes it's hard to know which is which from a translation of the description
alone.

diff --git a/src/frontends/qt4/GuiProgressView.cpp b/src/frontends/qt4/GuiProgressView.cpp
index af455f2b880918ef3ad2b53ff2d27ce16dc09b9f..454148f7a824fea2f642b3839dc9072052bc6816 100644 (file)
--- a/src/frontends/qt4/GuiProgressView.cpp
+++ b/src/frontends/qt4/GuiProgressView.cpp
@@ -88,7 +88,9 @@ GuiProgressView::GuiProgressView(GuiView & parent, Qt::DockWidgetArea area,
        DebugVector dmap;
        for (int i = 1 ; i < level_count; i++) {
                Debug::Type const level = Debug::value(i);
-               QString const desc = qt_(Debug::description(level));
+               QString const desc =
+                       toqstr(from_ascii(Debug::name(level) + " - "))
+                       + qt_(Debug::description(level));
                dmap.push_back(DebugMap(level, desc));
        }
        sort(dmap.begin(), dmap.end(), DebugSorter);