public interface NavigatorPanelWithUndo extends NavigatorPanel
NavigatorPanel.Registration
NavigatorPanel.Registration, NavigatorPanel.Registrations
Modifier and Type | Method and Description |
---|---|
UndoRedo |
getUndoRedo()
Returns instance of UndoRedo which will be propagated into
Navigator TopComponent's getUndoRedo() when this panel is active.
|
getComponent, getDisplayHint, getDisplayName, getLookup, panelActivated, panelDeactivated
UndoRedo getUndoRedo()
Built on June 4 2024. | Copyright © 2017-2024 Apache Software Foundation. All Rights Reserved.