Re: GTKsourceview# does not recognize gnome-sharp