From: Matthew Flatt (mflatt at cs.utah.edu) Date: Wed Jan 5 14:18:47 EST 2011 |
|
I see... You need `get-client-handle', which returns the inner widget of a window rather than the outer one. (There are two layers to a `panel%' for event-handling reasons.) I've added `get-client-handle' to `window<%>', which you should use in this case instead of `get-handle'. Also, don't forget to use `gtk:widget-show'.
Posted on the users mailing list. |
|