|
![]() |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.openpermis.editor.policy.gui.dock.DockControl
public class DockControl
Control that manages all dockables and the swing components of the main frame.
Constructor Summary | |
---|---|
DockControl(JFrame frame)
Creates a new dock control for the specified owner frame. |
Method Summary | |
---|---|
void |
addDockControlListener(DockControlListener listener)
Adds a listener for dock control events. |
boolean |
closeView(View view,
boolean force)
Removes the dockable responsible for the view specified. |
JComponent |
getContentArea()
Returns the content area of this dock control. |
Set<Editor> |
getEditorViews()
Returns a set of all editor views currently attached to this dock control. |
Set<Tool> |
getToolViews()
Returns a set of all tool views currently attached to this dock control. |
Set<View> |
getViews()
Returns all view currently attached to this dock control. |
boolean |
isViewOpen(View view)
Checks if a view is open. |
void |
openView(View view)
Creates a dockable of appropriate type for the specified view and displays it. |
void |
removeDockControlListener(DockControlListener listener)
Removes a listener from this dock control. |
void |
updateViewTitle(View view)
Updates the title of the dockable this view is attached to. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public DockControl(JFrame frame)
frame
- the frame used as owner for externally opened views.Method Detail |
---|
public void addDockControlListener(DockControlListener listener)
The same listener
object may be added more than once, and will be called as many
times as it is added.
If the listener
is null
, no action is taken.
listener
- the listener to add, may be null
.public void removeDockControlListener(DockControlListener listener)
If the same listener
was added more than once, it will be notified one less
time after being removed.
If the listener
is null
, or was never added, no action is taken.
listener
- the listener to be removed, may be null
.public JComponent getContentArea()
The content area contains all tool and editor dockables and serves as the main content of the editor window.
public void updateViewTitle(View view)
view
- the view for which to update the title.public void openView(View view)
If the view is already open it is activated.
Supports Tool
and Editor
views.
view
- the view to display.
IllegalArgumentException
- if the view type is not supported.public Set<View> getViews()
null
.public boolean isViewOpen(View view)
view
- the view to check.
true
if the view is open.public Set<Tool> getToolViews()
null
.public Set<Editor> getEditorViews()
null
.public boolean closeView(View view, boolean force)
view
- the view to remove.force
- true
to force closing the view.
true
if the dockable was removed.
|
![]() |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
PERMIS Role Based Access Control 0.4.0 (Build 15)
2009/05/20 08:15:11
Copyright (c) 2002-2007 Ergon Informatik AG