gnu.app.puppet
Class Preference
java.lang.Object
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.
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Preference
public Preference()
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)