From 8cd3c6730505568096259b850c0fb9a6a245f293 Mon Sep 17 00:00:00 2001 From: malc Date: Fri, 12 Aug 2011 23:49:30 +0400 Subject: [PATCH] Increase items text size by a point --- main.ml | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) diff --git a/main.ml b/main.ml index 907ac73..23eb556 100644 --- a/main.ml +++ b/main.ml @@ -2831,7 +2831,7 @@ let showstrings trusted active first pan strings = GlDraw.color (1., 1., 1.); Gl.enable `texture_2d; - let wx = measurestr 14 "w" in + let wx = measurestr 15 "w" in let tabx = 30.0*.wx +. float (pan*15) in let rec loop row = if row = Array.length strings || (row - first) * 16 > conf.winh @@ -2864,11 +2864,11 @@ let showstrings trusted active first pan strings = and s2 = String.sub s (tabpos + 1) len in let xx = wx +. drawstring1 14 x (y + 16) s1 in let x = truncate (max xx tabx) in - drawstring1 14 x (y + 16) s2 + drawstring1 15 x (y + 16) s2 else - drawstring1 14 x (y + 16) s + drawstring1 15 x (y + 16) s else - drawstring1 14 x (y + 16) s + drawstring1 15 x (y + 16) s in () in @@ -2888,11 +2888,9 @@ let showstrings trusted active first pan strings = else String.sub s (-pos) left in drawtabularstring x s - (* ignore (drawstring1 14 x (y + 16) s) *) ) else drawtabularstring (x + pan*15) s - (* ignore (drawstring1 14 (x + pan*15) (y + 16) s) *) in draw_string s; loop (row+1) -- 2.11.4.GIT