Hopefully fixed GtkSourceView widget error.