Package editor
Class NavigationHistory
- java.lang.Object
-
- editor.NavigationHistory
-
public class NavigationHistory extends java.lang.ObjectNavigation history for goto-declaration operations and tab changes
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description private classNavigationHistory.TabSelectionHandler
-
Field Summary
Fields Modifier and Type Field Description private boolean_bLockedprivate EditorHost_prevTabprivate ITabHistoryHandler_tabHistoryHandlerprivate java.util.List<ITabHistoryContext>_tabMruListprivate TabPane_tabPaneprivate AtomicUndoManager_undoMgrstatic intMAX_MRU_HISTORYstatic intMAX_NAVIGATION_HISTORY
-
Constructor Summary
Constructors Constructor Description NavigationHistory(TabPane tabPane)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidaddNavigationHistory(GosuEditor editor, int prevCaretPos, int currentCaretPos)private voidaddToMruList(ITabHistoryContext tabHistoryContext)booleancanGoBackward()booleancanGoForward()voiddispose()EditorHostgetPreviousEditor()ITabHistoryHandlergetTabHistoryHandler()java.util.List<ITabHistoryContext>getTabMruList()TabPanegetTabPane()voidgoBackward()voidgoForward()(package private) booleanisLocked()(package private) voidlock()voidresourceDeleted(java.lang.String strTypeName)voidsetTabHistoryHandler(ITabHistoryHandler tabHistoryHandler)(package private) voidunlock()
-
-
-
Field Detail
-
MAX_MRU_HISTORY
public static final int MAX_MRU_HISTORY
- See Also:
- Constant Field Values
-
MAX_NAVIGATION_HISTORY
public static final int MAX_NAVIGATION_HISTORY
- See Also:
- Constant Field Values
-
_tabPane
private TabPane _tabPane
-
_undoMgr
private AtomicUndoManager _undoMgr
-
_prevTab
private EditorHost _prevTab
-
_bLocked
private boolean _bLocked
-
_tabHistoryHandler
private ITabHistoryHandler _tabHistoryHandler
-
_tabMruList
private java.util.List<ITabHistoryContext> _tabMruList
-
-
Constructor Detail
-
NavigationHistory
public NavigationHistory(TabPane tabPane)
-
-
Method Detail
-
goBackward
public void goBackward()
-
goForward
public void goForward()
-
canGoBackward
public boolean canGoBackward()
-
canGoForward
public boolean canGoForward()
-
getTabPane
public TabPane getTabPane()
-
getTabHistoryHandler
public ITabHistoryHandler getTabHistoryHandler()
-
setTabHistoryHandler
public void setTabHistoryHandler(ITabHistoryHandler tabHistoryHandler)
-
getTabMruList
public java.util.List<ITabHistoryContext> getTabMruList()
-
getPreviousEditor
public EditorHost getPreviousEditor()
-
dispose
public void dispose()
-
resourceDeleted
public void resourceDeleted(java.lang.String strTypeName)
-
addNavigationHistory
public void addNavigationHistory(GosuEditor editor, int prevCaretPos, int currentCaretPos)
-
unlock
void unlock()
-
lock
void lock()
-
isLocked
boolean isLocked()
-
addToMruList
private void addToMruList(ITabHistoryContext tabHistoryContext)
-
-