From ece97ee39dbd9366f3a9f5a5794d712419a9d161 Mon Sep 17 00:00:00 2001 From: dbroqua Date: Wed, 2 Aug 2017 23:42:53 +0200 Subject: [PATCH] - Changed font --- roxterm.sourceforge.net/Profiles/Default | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/roxterm.sourceforge.net/Profiles/Default b/roxterm.sourceforge.net/Profiles/Default index 66e87de..42f0017 100644 --- a/roxterm.sourceforge.net/Profiles/Default +++ b/roxterm.sourceforge.net/Profiles/Default @@ -1,6 +1,6 @@ [roxterm profile] colour_scheme=Tango -font=Monospace 9 +font=DejaVu Sans Mono 8 saturation=0.577236 always_show_tabs=0 hide_menubar=1