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