Disable CheckTeX while buffer is processed

[lyx.git] / src / frontends / qt4 / GuiSetBorder.cpp

diff --git a/src/frontends/qt4/GuiSetBorder.cpp b/src/frontends/qt4/GuiSetBorder.cpp
index 0d49f1112704aaaa1cc042fd9226ff70fce77657..80a7d74c4b921c0e789a739cd13645e44c549011 100644 (file)
--- a/src/frontends/qt4/GuiSetBorder.cpp
+++ b/src/frontends/qt4/GuiSetBorder.cpp
@@ -18,7 +18,7 @@
 #include <QPaintEvent>
 
 
-GuiSetBorder::GuiSetBorder(QWidget * parent, Qt::WFlags fl)
+GuiSetBorder::GuiSetBorder(QWidget * parent, Qt::WindowFlags fl)
        : QWidget(parent, fl), buffer(75, 75)
 {
        /* length of corner line */
@@ -151,31 +151,31 @@ void GuiSetBorder::drawBottom(bool draw)
 }
 
 
-void GuiSetBorder::setLeftEnabled(bool border)
+void GuiSetBorder::setLeftEnabled(bool enabled)
 {
-       left_.enabled = border;
-       drawLeft(border);
+       left_.enabled = enabled;
+       drawLeft(left_.set);
 }
 
 
-void GuiSetBorder::setRightEnabled(bool border)
+void GuiSetBorder::setRightEnabled(bool enabled)
 {
-       right_.enabled = border;
-       drawRight(border);
+       right_.enabled = enabled;
+       drawRight(right_.set);
 }
 
 
-void GuiSetBorder::setTopEnabled(bool border)
+void GuiSetBorder::setTopEnabled(bool enabled)
 {
-       top_.enabled = border;
-       drawTop(border);
+       top_.enabled = enabled;
+       drawTop(top_.set);
 }
 
 
-void GuiSetBorder::setBottomEnabled(bool border)
+void GuiSetBorder::setBottomEnabled(bool enabled)
 {
-       bottom_.enabled = border;
-       drawBottom(border);
+       bottom_.enabled = enabled;
+       drawBottom(bottom_.set);
 }