Fixed invalid cast in garglk_set_reversevideo()
authorrodin <rodin@ddfedd41-794f-dd11-ae45-00112f111e67>
Wed, 5 May 2010 12:06:01 +0000 (12:06 +0000)
committerrodin <rodin@ddfedd41-794f-dd11-ae45-00112f111e67>
Wed, 5 May 2010 12:06:01 +0000 (12:06 +0000)
libchimara/garglk.c

index 1a657ec81a9b4e3d642c6a63dae8f53d24208d7e..181414e5227bf5db061429aefaef59b15a4d107d 100644 (file)
@@ -203,6 +203,7 @@ garglk_set_reversevideo(glui32 reverse)
        g_return_if_fail(glk_data->current_stream != NULL);
        g_return_if_fail(glk_data->current_stream->window != NULL);
 
-       GtkTextTagTable *tags = gtk_text_buffer_get_tag_table( GTK_TEXT_BUFFER(glk_data->current_stream->window->widget) );
+       GtkTextBuffer *buffer = gtk_text_view_get_buffer( GTK_TEXT_VIEW(glk_data->current_stream->window->widget) );
+       GtkTextTagTable *tags = gtk_text_buffer_get_tag_table(buffer);
        gtk_text_tag_table_foreach( tags, apply_reverse_color, GINT_TO_POINTER(reverse) );
 }