[GNOME] Petita modificació al gtksourceview