From f11de6b9158e2f4d3644aa378f26fa6014976b77 Mon Sep 17 00:00:00 2001 From: Richard Barber Date: Mon, 17 Feb 2020 13:18:40 -0800 Subject: [PATCH] mac:options font name adjust. --- rtdata/options/options.osx | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/rtdata/options/options.osx b/rtdata/options/options.osx index f5477d11d..c83aea179 100644 --- a/rtdata/options/options.osx +++ b/rtdata/options/options.osx @@ -40,5 +40,5 @@ CustomProfileBuilder= [GUI] # Set the included font as default -FontFamily=Droid Sans Mono Slashed Regular -CPFontFamily=Droid Sans Mono Slashed Regular +FontFamily=Droid Sans Mono Slashed +CPFontFamily=Droid Sans Mono Slashed