Use GtkTextView:monospace property

gtk_widget_override_font() is deprecated.