From: Michael D. Lowis Date: Wed, 25 Oct 2017 02:03:32 +0000 (-0400) Subject: fixed some warnings about record member access in draw.ml X-Git-Url: https://git.mdlowis.com/?a=commitdiff_plain;h=3e21371050e839f2c5adcb09ca26d5de88b38c0f;p=archive%2Ftide-ocaml.git fixed some warnings about record member access in draw.ml --- 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