- Cleanup splash screen

[features.git] / src / frontends / qt4 / GuiWorkArea.C

diff --git a/src/frontends/qt4/GuiWorkArea.C b/src/frontends/qt4/GuiWorkArea.C
index b64c9456a64594c8bc801040fc2960a2b6eda287..24a9a0d0961165ecd47fe81c1d16a7224fcfea03 100644 (file)
--- a/src/frontends/qt4/GuiWorkArea.C
+++ b/src/frontends/qt4/GuiWorkArea.C
@@ -545,7 +545,6 @@ void GuiWorkArea::update(int x, int y, int w, int h)
 
 void GuiWorkArea::doGreyOut(QLPainter & pain)
 {
-       greyed_out_ = true;
        pain.fillRectangle(0, 0, width(), height(),
                LColor::bottomarea);
 
@@ -600,26 +599,19 @@ void GuiWorkArea::paintEvent(QPaintEvent * ev)
 }
 
 
-
 void GuiWorkArea::expose(int x, int y, int w, int h)
 {
        QLPainter pain(&screen_);
 
-       if (w == 3) { // FIXME HACK
-               // Assume splash screen drawing is requested when
-               // width == 3
+       if (greyed_out_) {
                lyxerr << "splash screen requested" << endl;
+               verticalScrollBar()->hide();
                doGreyOut(pain);
-       }
-       else if (!buffer_view_->buffer()) {
-               lyxerr << "no buffer: " << endl;
-               doGreyOut(pain);
-               updateScrollbar();
-       }
-       else {
-               paintText(*buffer_view_, pain);
+               update(0, 0, width(), height());
+               return;
        }
 
+       paintText(*buffer_view_, pain);
        update(x, y, w, h);
 }