|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use PropertyNotify | |
---|---|
gnu.app.puppet | Provide a window manager. |
Uses of PropertyNotify in gnu.app.puppet |
---|
Methods in gnu.app.puppet with parameters of type PropertyNotify | |
---|---|
void |
Puppet.when_property_notify(PropertyNotify event)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |