|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use WorkspaceManager | |
kiwi.ui |
Uses of WorkspaceManager in kiwi.ui |
Fields in kiwi.ui declared as WorkspaceManager | |
private WorkspaceManager |
WorkspaceEditor.manager
|
Methods in kiwi.ui that return WorkspaceManager | |
protected WorkspaceManager |
WorkspaceEditor.getWorkspaceManager()
Get the WorkspaceManager for this editor. |
Methods in kiwi.ui with parameters of type WorkspaceManager | |
(package private) void |
WorkspaceEditor.setWorkspaceManager(WorkspaceManager manager)
|
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |