Uses of Class
gnu.app.puppet.Preference

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

Uses of Preference in gnu.app.puppet
 

Fields in gnu.app.puppet declared as Preference
 Preference Puppet.pref