Date: Wed, 10 Aug 2005 00:20:44 -0300
From: romildo at uber.com.br
To: lablgtk at math.nagoya-u.ac.jp
Subject: How to specify a font by name?
Message-ID: <20050810032044.GA23086 at malaquias>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline

Hello.

I am new to lablgtk and would like to construct
a Gdk.font by name. I have tried

  Gdk.Font.load "helvetica"

but it did not work. Please, how can I do it?

The font is to be used in the string method of
class drawable:

  method string : string -> font:Gdk.font -> x:int -> y:int -> unit

I am trying:

  drawing#string "Test" ~font:(Gdk.Font.load "Helvetica 12") ~x:50 ~y:50;

Any help?

Romildo