public class WindowManager extends Plugin implements ChangeListener
Constructor and Description |
---|
WindowManager() |
Modifier and Type | Method and Description |
---|---|
JFakeFrameWithGeometry |
createFrame(String title) |
PluginInfo |
getPluginInfo() |
int |
getScreenResolutionX() |
int |
getScreenResolutionY() |
boolean |
getShowDesktopBorder() |
SceneGraphComponent |
getWindowRoot() |
void |
install(Controller c) |
void |
setScreenResolutionX(int screenResolutionX) |
void |
setScreenResolutionY(int screenResolutionY) |
void |
setShowDesktopBorder(boolean showDesktopBorder) |
void |
stateChanged(ChangeEvent e) |
void |
uninstall(Controller c) |
public SceneGraphComponent getWindowRoot()
public int getScreenResolutionX()
public void setScreenResolutionX(int screenResolutionX)
public int getScreenResolutionY()
public void setScreenResolutionY(int screenResolutionY)
public PluginInfo getPluginInfo()
public JFakeFrameWithGeometry createFrame(String title)
public void setShowDesktopBorder(boolean showDesktopBorder)
public boolean getShowDesktopBorder()
public void stateChanged(ChangeEvent e)
stateChanged
in interface ChangeListener