I had better clarify before continuing. I see two viable approaches here:

1. Write OCaml bindings to the native GUIs and then an OCaml wrapper that 
abstracts the nativeness away.

2. Write a new widget toolkit designed to render via OpenGL.

On Tuesday 30 August 2005 18:47, David Thomas wrote:
> ...

If we do (1) then it will handle skinning and the intersection of the sets of 
functionality of the native GUIs.

If we do (2) then customisation and skinning will be ignored but you have the 
advantage of real time 2D and 3D graphics.

Option (2) seems much easier and more useful to me. I've never cared about 
skinning...

-- 
Dr Jon D Harrop, Flying Frog Consultancy Ltd.
Objective CAML for Scientists
http://www.ffconsultancy.com/products/ocaml_for_scientists