From caaaf55c78129ba4df0e285ab560338ee147bfc6 Mon Sep 17 00:00:00 2001 From: malc Date: Wed, 16 Jul 2014 22:33:04 +0400 Subject: [PATCH] Save on fpn formatting, and needless subsecond precision --- config.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/config.ml b/config.ml index 337eeb6..da3f9f1 100644 --- a/config.ml +++ b/config.ml @@ -1552,7 +1552,7 @@ let add_attrs bb always dc c time = then Printf.bprintf bb "\n %s='%g'" s (a*.100.) and oF s a b = if always || a <> b - then Printf.bprintf bb "\n %s='%f'" s a + then Printf.bprintf bb "\n %s='%F'" s a and oc s a b = if always || a <> b then @@ -1679,7 +1679,7 @@ let add_attrs bb always dc c time = ob "scroll-bar-on-the-left" c.leftscroll dc.leftscroll; if not always then os "title" c.title dc.title; - oF "last-visit" time 0.0; + oF "last-visit" (snd (modf time)) 0.0; ;; let keymapsbuf always dc c = -- 2.11.4.GIT