Uses of Class
gnu.x11.event.MapRequest

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)