Uses of Class
gnu.x11.event.ConfigureRequest

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)