Comment Comment by dadoum Wait, you're not using GtkSourceView? CoolYou could also have used Mono.TextEditor btw. I personally find it better than GtkSourceView, and for having ported it to GTK# 3 myself, it was rather straightforward to port. parent dadoum 1 year ago
You could also have used Mono.TextEditor btw. I personally find it better than GtkSourceView, and for having ported it to GTK# 3 myself, it was rather straightforward to port.