gnu.app.puppet
Class Preference

java.lang.Object
  extended by gnu.app.puppet.Preference

public class Preference
extends java.lang.Object

User settings of Puppet. You can find out WM-NAME and WM-CLASS of any window using standard X Window System utilities such as `xwininfo' and `xprop', or you can use `key-dump-info' of Puppet.


Constructor Summary
Preference()
           
 
Method Summary
 java.lang.String launch_on_root()
           
 java.lang.String launch(int i)
           
 boolean no_focus(java.lang.String id)
           
 boolean no_geometry_change(java.lang.String id)
           
 Rectangle position(java.lang.String id)
           
 int register(java.lang.String id)
           
 Rectangle space()
           
 Point warp_position(int i)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Preference

public Preference()
Method Detail

no_focus

public boolean no_focus(java.lang.String id)

no_geometry_change

public boolean no_geometry_change(java.lang.String id)

launch

public java.lang.String launch(int i)

launch_on_root

public java.lang.String launch_on_root()

position

public Rectangle position(java.lang.String id)

register

public int register(java.lang.String id)

space

public Rectangle space()

warp_position

public Point warp_position(int i)