public final class DummyWindowManager
extends WindowManager
| Constructor and Description |
|---|
DummyWindowManager() |
| Modifier and Type | Method and Description |
|---|---|
void |
addPropertyChangeListener(java.beans.PropertyChangeListener l) |
protected TopComponent.Registry |
componentRegistry() |
protected WindowManager.Component |
createTopComponentManager(TopComponent c) |
Workspace |
createWorkspace(java.lang.String name,
java.lang.String displayName) |
Workspace |
findWorkspace(java.lang.String name) |
Workspace |
getCurrentWorkspace() |
java.awt.Frame |
getMainWindow() |
Workspace[] |
getWorkspaces() |
org.openide.windows.DummyWindowManager.R |
registry() |
void |
removePropertyChangeListener(java.beans.PropertyChangeListener l) |
void |
setWorkspaces(Workspace[] ws) |
void |
updateUI() |
public void addPropertyChangeListener(java.beans.PropertyChangeListener l)
public void removePropertyChangeListener(java.beans.PropertyChangeListener l)
protected TopComponent.Registry componentRegistry()
public org.openide.windows.DummyWindowManager.R registry()
protected WindowManager.Component createTopComponentManager(TopComponent c)
public Workspace createWorkspace(java.lang.String name,
java.lang.String displayName)
public Workspace findWorkspace(java.lang.String name)
public Workspace getCurrentWorkspace()
public Workspace[] getWorkspaces()
public void setWorkspaces(Workspace[] ws)
public java.awt.Frame getMainWindow()
public void updateUI()