commit 2b6d0ae3deae80558a73346d60739fa408cbe2c3
Author: Guillaume Munch <g...@lyx.org>
Date:   Sun May 29 23:33:12 2016 +0100

    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 af455f2..454148f 100644
--- 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);

Reply via email to