From c2dd0ef104ce05e624e1a915e87a2377bea55a17 Mon Sep 17 00:00:00 2001 From: Latif Khalifa Date: Mon, 2 Dec 2013 10:11:27 +0100 Subject: [PATCH] Don't specify font size --- Programs/GridProxyGUI/MainWindow.cs | 16 +++++++++------- 1 file changed, 9 insertions(+), 7 deletions(-) diff --git a/Programs/GridProxyGUI/MainWindow.cs b/Programs/GridProxyGUI/MainWindow.cs index ebd93ff8..0b967089 100755 --- a/Programs/GridProxyGUI/MainWindow.cs +++ b/Programs/GridProxyGUI/MainWindow.cs @@ -39,15 +39,17 @@ public partial class MainWindow : Gtk.Window mainSplit.Position = 600; txtSummary.ModifyFont(Pango.FontDescription.FromString("monospace bold 9")); - txtRequest.ModifyFont(Pango.FontDescription.FromString("monospace 9")); - CreateTags(txtRequest.Buffer); - txtRequestRaw.ModifyFont(Pango.FontDescription.FromString("monospace 9")); - txtRequestNotation.ModifyFont(Pango.FontDescription.FromString("monospace 9")); + string font = "monospace"; - txtResponse.ModifyFont(Pango.FontDescription.FromString("monospace 9")); + txtRequest.ModifyFont(Pango.FontDescription.FromString(font)); + CreateTags(txtRequest.Buffer); + txtRequestRaw.ModifyFont(Pango.FontDescription.FromString(font)); + txtRequestNotation.ModifyFont(Pango.FontDescription.FromString(font)); + + txtResponse.ModifyFont(Pango.FontDescription.FromString(font)); CreateTags(txtResponse.Buffer); - txtResponseRaw.ModifyFont(Pango.FontDescription.FromString("monospace 9")); - txtResponseNotation.ModifyFont(Pango.FontDescription.FromString("monospace 9")); + txtResponseRaw.ModifyFont(Pango.FontDescription.FromString(font)); + txtResponseNotation.ModifyFont(Pango.FontDescription.FromString(font)); sessionLogScroller.Add(messages = new MessageScroller());