Fix bug #10881.

diff --git a/src/frontends/qt4/GuiProgressView.cpp b/src/frontends/qt4/GuiProgressView.cpp
index 9a5090832e5443b5f11527f8a1490580608040f2..486fdaf54ecd7552281f0c41476864b27db213e1 100644 (file)
--- a/src/frontends/qt4/GuiProgressView.cpp
+++ b/src/frontends/qt4/GuiProgressView.cpp
@@ -165,7 +165,7 @@ void GuiProgressView::levelChanged()
 
 void GuiProgressView::debugSelectionChanged()
 {
-       unsigned int level = Debug::NONE;
+       Debug::Type level = Debug::NONE;
        if (widget_->debugAnyRB->isChecked())
                level = Debug::ANY;
        else if (widget_->debugSelectedRB->isChecked()) {
@@ -180,7 +180,7 @@ void GuiProgressView::debugSelectionChanged()
                ++it;
        }
        widget_->debugMessagesTW->setEnabled(false);
-       dispatch(FuncRequest(LFUN_DEBUG_LEVEL_SET, convert<string>(level)));
+       dispatch(FuncRequest(LFUN_DEBUG_LEVEL_SET, convert<string>((int)level)));
 }