- Cleanup splash screen

[features.git] / src / frontends / WorkArea.C

diff --git a/src/frontends/WorkArea.C b/src/frontends/WorkArea.C
index 2d6663cf4d6acec823d8ad17ad2b706f603c0ce7..17cac2a849c0214617a3ed0f491e02eaa22176da 100644 (file)
--- a/src/frontends/WorkArea.C
+++ b/src/frontends/WorkArea.C
@@ -129,20 +129,12 @@ void WorkArea::startBlinkingCursor()
 }
 
 
-void WorkArea::checkAndGreyOut()
-{
-       if (greyed_out_)
-               greyOut();
-}
-
-
 void WorkArea::redraw(bool singlePar)
 {
-       if (!buffer_view_)
-               return;
-
-       if (!buffer_view_->buffer()) {
-               checkAndGreyOut();
+       if (!buffer_view_ || !buffer_view_->buffer()) {
+               greyed_out_ = true;
+               // The argument here are meaningless.
+               expose(1,1,1,1);
                return;
        }
 
@@ -257,13 +249,6 @@ void WorkArea::scrollBufferView(int position)
 }
 
 
-void WorkArea::greyOut()
-{
-       greyed_out_ = true;
-       expose(4, 5, 3, 3);
-}
-
-
 void WorkArea::showCursor()
 {
        if (cursor_visible_)