[gtkada] How do one change the mouse-pointer graphics

[Preben Randhol]

Emmanuel Briot <briot at ACT-Europe.FR> wrote on 29/05/2002 (17:53) :
> 
> See the package Gdk.Cursor and the procedure Gdk.Window.Set_Cursor.

Ah of course Cursor it is called. I was for some stupid reason searching
for Mouse.

Thanks!

-- 
Preben Randhol ------------------- http://www.pvv.org/~randhol/ --
                 «For me, Ada95 puts back the joy in programming.»