From 4dbcacaca4862f09deafd83b14d66fb6501a3633 Mon Sep 17 00:00:00 2001 From: malc Date: Mon, 27 Jul 2020 09:58:53 +0300 Subject: [PATCH] Cosmetics --- config.ml | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/config.ml b/config.ml index b5400ae..d4fe3b1 100644 --- a/config.ml +++ b/config.ml @@ -1396,11 +1396,9 @@ let save1 bb leavebirdseye x h dc = let uifontsize = fstate.fontsize in let dc = if !bedefault then conf else dc in Buffer.add_string bb "\n"; - if nonemptystr !fontpath then Printf.bprintf bb "\n" - uifontsize - !fontpath + uifontsize !fontpath else if uifontsize <> 14 then Printf.bprintf bb "\n" uifontsize -- 2.11.4.GIT