changed trivial gui part to use GtkSourcView object.