Modifying the "relief" attribute of a button
Nicolas FRANCOIS <[email protected]> Fri, 20 Feb 2015 18:32:53 +0100
| Newsgroups | gmane.comp.lang.ocaml.lib.gtk |
|---|---|
| Message-ID | <[email protected]> |
Hi. I'd like that when the mouse pointer hovers over a button, its relief aspect should be modified, from ~relief=`NONE to ~relief=`NORMAL, and back when the pointer leaves the button. Can I do this with the #misc method of my button ? If yes, how ? Thanks for any help :-) \bye -- Nicolas FRANCOIS | /\ http://nicolas.francois.free.fr | |__| X--/\\ We are the Micro$oft. _\_V Resistance is futile. You will be assimilated. darthvader penguin