API Version: 4.0
Library Version: 4.12.4
void paste_done ( GtkTextBuffer* buffer, GdkClipboard* clipboard )
clipboard
GdkClipboard*