[patch] gtk compile fix

[Georg Baum]

This makes gtk compile, but is of course not the right fix. I therefore 
marked it with FIXMEs. This goes in now.


Georg

Index: src/frontends/gtk/GView.C
===================================================================
--- src/frontends/gtk/GView.C	(Revision 14458)
+++ src/frontends/gtk/GView.C	(Arbeitskopie)
@@ -159,7 +159,9 @@ bool GView::onFocusIn(GdkEventFocus * /*
 
 void GView::prohibitInput() const
 {
-	workArea()->hideCursor();
+	// FIXME: Why is prohibitInput const?
+	// FIXME: hideCursor is protected
+	//const_cast<GView*>(this)->workArea()->hideCursor();
 	const_cast<GView*>(this)->set_sensitive(false);
 }
 
@@ -190,8 +192,10 @@ void GView::setWindowTitle(string const 
 
 void GView::busy(bool yes) const
 {
-	if (yes ) {
-		workArea()->hideCursor();
+	// FIXME: Why is busy const?
+	if (yes) {
+		// FIXME: hideCursor is protected
+		//const_cast<GView*>(this)->workArea()->hideCursor();
 		Gdk::Cursor cursor(Gdk::WATCH);
 		const_cast<GView *>(this)->get_window()->set_cursor(cursor);
 		const_cast<GView *>(this)->set_sensitive(false);