Uses of Class
gnu.x11.event.DestroyNotify

Packages that use DestroyNotify
gnu.app.puppet Provide a window manager. 
 

Uses of DestroyNotify in gnu.app.puppet
 

Methods in gnu.app.puppet with parameters of type DestroyNotify
 void Puppet.when_destroy_notify(DestroyNotify event)