From b648e36dc19f8120ee17a4850dc671fac323be21 Mon Sep 17 00:00:00 2001 From: Rob Kendrick Date: Tue, 21 Apr 2009 10:38:57 +0000 Subject: [PATCH] Fixed pitch font for GTK source view svn path=/trunk/netsurf/; revision=7147 --- gtk/dialogs/gtk_source.c | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/gtk/dialogs/gtk_source.c b/gtk/dialogs/gtk_source.c index a668cfb76..d52fbb25c 100644 --- a/gtk/dialogs/gtk_source.c +++ b/gtk/dialogs/gtk_source.c @@ -194,7 +194,11 @@ void nsgtk_source_dialog_init(GtkWindow *parent, struct browser_window *bw) GtkTextView *sourceview = GTK_TEXT_VIEW( glade_xml_get_widget(glade_File, "source_view")); + PangoFontDescription *fontdesc = + pango_font_description_from_string("Monospace 8"); + thiswindow->gv = sourceview; + gtk_widget_modify_font(GTK_WIDGET(sourceview), fontdesc); GtkTextBuffer *tb = gtk_text_view_get_buffer(sourceview); gtk_text_buffer_set_text(tb, thiswindow->data, -1);