Fix warning

diff --git a/src/frontends/qt/GuiSearch.cpp b/src/frontends/qt/GuiSearch.cpp
index ee83692274d94af40d1d9cfac4f964db33fc385c..519c1c2b48bf68a186efc8bf5c99b40c8f8ede24 100644 (file)
--- a/src/frontends/qt/GuiSearch.cpp
+++ b/src/frontends/qt/GuiSearch.cpp
@@ -292,7 +292,7 @@ GuiSearch::GuiSearch(GuiView & parent, Qt::DockWidgetArea area, Qt::WindowFlags
 
 void GuiSearch::onBufferViewChanged()
 {
-       widget_->setEnabled((bool)bufferview());
+       widget_->setEnabled(static_cast<bool>(bufferview()));
        widget_->setBufferView(bufferview());
 }
 

diff --git a/src/frontends/qt/GuiViewSource.cpp b/src/frontends/qt/GuiViewSource.cpp
index f1938c59122b355db9253577dfaf84ad5f51d3b0..310d24ea1b033f8b1ac75164f741ae687b251a79 100644 (file)
--- a/src/frontends/qt/GuiViewSource.cpp
+++ b/src/frontends/qt/GuiViewSource.cpp
@@ -420,14 +420,14 @@ GuiViewSource::GuiViewSource(GuiView & parent,
 void GuiViewSource::onBufferViewChanged()
 {
        widget_->setText();
-       widget_->setEnabled((bool)bufferview());
+       widget_->setEnabled(static_cast<bool>(bufferview()));
 }
 
 
 void GuiViewSource::updateView()
 {
        if (widget_->autoUpdateCB->isChecked()) {
-               widget_->setEnabled((bool)bufferview());
+               widget_->setEnabled(static_cast<bool>(bufferview()));
                scheduleUpdate();
        }
        widget_->masterPerspectiveCB->setEnabled(buffer().parent());
@@ -437,7 +437,7 @@ void GuiViewSource::updateView()
 
 void GuiViewSource::enableView(bool enable)
 {
-       widget_->setEnabled((bool)bufferview());
+       widget_->setEnabled(static_cast<bool>(bufferview()));
        if (bufferview())
                widget_->updateDefaultFormat(*bufferview());
        if (!enable)