because the user_data is the GtkTextView. This used to crash when the text view got destroyed, and the buffer was used for another view. Fixes bug #652204.
because the user_data is the GtkTextView. This used to crash when the text view got destroyed, and the buffer was used for another view. Fixes bug #652204.