Date: Mon, 21 Nov 2005 16:12:55 +0100 (CET) Message-Id: <20051121.161255.59494276.garrigue at math.nagoya-u.ac.jp> To: maurizio.colucci at gmail.com Cc: lablgtk at math.nagoya-u.ac.jp Subject: Re: Problem with gtkglarea From: Jacques Garrigue In-Reply-To: References: Mime-Version: 1.0 Content-Type: Text/Plain; charset=us-ascii Content-Transfer-Encoding: 7bit From: Maurizio Colucci > My question is: how can I do without GlGtk? Fortunately I am _not_ > using GlGtk.area. I am only using GlGtk.region_of_raw. What would you > do to avoid its usage? The code is the following: The code for GlGtk.region_of_raw is just: let region_of_raw raw = Gpointer.unsafe_create_region ~path:[|1|] ~get_length:Raw.byte_size raw You can just copy it in your program. I take no copyright on one-liners :-) If you're afraid of using an unsafe function, you can also do one more copy, using Gpointer.string_of_region and Raw.sets_string. Jacques