# HG changeset patch
# User reimar
# Date 1133711800 0
# Node ID c8bad98f63b56c335dde93a13ff2c8bf26569bfd
# Parent  c342993c3c43ef6fdffc8e638a29a2b1970e61f6
About text should _not_ be editable, it just looks stupid.

diff -r c342993c3c43 -r c8bad98f63b5 Gui/mplayer/gtk/about.c
--- a/Gui/mplayer/gtk/about.c	Sat Dec 03 20:36:12 2005 +0000
+++ b/Gui/mplayer/gtk/about.c	Sun Dec 04 15:56:40 2005 +0000
@@ -74,10 +74,13 @@
 
 #ifdef HAVE_GTK2_GUI
   AboutText = gtk_text_view_new();
+  gtk_text_view_set_editable(GTK_TEXT_VIEW(AboutText), FALSE);
+  gtk_text_view_set_cursor_visible(GTK_TEXT_VIEW(AboutText), FALSE);
   AboutTextBuffer = gtk_text_view_get_buffer (GTK_TEXT_VIEW (AboutText));
   gtk_text_buffer_get_iter_at_offset (AboutTextBuffer, &iter, 0);  
 #else  
   AboutText=gtk_text_new( NULL,NULL );
+  gtk_text_set_editable(GTK_TEXT(AboutText), FALSE);
 #endif
   gtk_widget_set_name( AboutText,"AboutText" );
   gtk_widget_show( AboutText );