From 3e21371050e839f2c5adcb09ca26d5de88b38c0f Mon Sep 17 00:00:00 2001 From: "Michael D. Lowis" Date: Tue, 24 Oct 2017 22:03:32 -0400 Subject: [PATCH] fixed some warnings about record member access in draw.ml --- lib/draw.ml | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/lib/draw.ml b/lib/draw.ml index 945ca1f..bb9820b 100644 --- a/lib/draw.ml +++ b/lib/draw.ml @@ -15,6 +15,7 @@ module Cursor = struct end let font = X11.font_load "Verdana:size=11" +let font_height = let open X11 in font.height open Cursor @@ -28,7 +29,7 @@ let rule_bkg = rectangle Cfg.Color.palette.(3) let string text csr = X11.draw_string font Cfg.Color.palette.(5) text (csr.x + 2, csr.y + 2); - csr.y <- csr.y + 4 + font.height + csr.y <- csr.y + 4 + font_height let hrule width csr = rule_bkg width 1 csr; @@ -39,13 +40,13 @@ let vrule height csr = csr.x <- csr.x + 1 let status csr str = - let height = (4 + font.height) in + let height = (4 + font_height) in dark_bkg csr.width height csr; string str csr; hrule csr.width csr let tags csr buf = - let height = (4 + font.height) in + let height = (4 + font_height) in light_bkg csr.width height csr; string "Quit Save Undo Redo Cut Copy Paste | Find " csr; hrule csr.width csr -- 2.52.0