Uses of Class
gnu.x11.event.PropertyNotify

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)