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