gtksourceview3: remove an unused variable