gtksourceview3: suppress a warning