Port change case plugin to new GtkSourceView api