Package editor
Class NavigationHistory
java.lang.Object
editor.NavigationHistory
Navigation history for goto-declaration operations and tab changes
-
Nested Class Summary
Nested Classes -
Field Summary
FieldsModifier and TypeFieldDescriptionprivate boolean
private EditorHost
private ITabHistoryHandler
private List<ITabHistoryContext>
private TabPane
private AtomicUndoManager
static final int
static final int
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoid
addNavigationHistory
(GosuEditor editor, int prevCaretPos, int currentCaretPos) private void
addToMruList
(ITabHistoryContext tabHistoryContext) boolean
boolean
void
dispose()
void
void
(package private) boolean
isLocked()
(package private) void
lock()
void
resourceDeleted
(String strTypeName) void
setTabHistoryHandler
(ITabHistoryHandler tabHistoryHandler) (package private) void
unlock()
-
Field Details
-
MAX_MRU_HISTORY
public static final int MAX_MRU_HISTORY- See Also:
-
MAX_NAVIGATION_HISTORY
public static final int MAX_NAVIGATION_HISTORY- See Also:
-
_tabPane
-
_undoMgr
-
_prevTab
-
_bLocked
private boolean _bLocked -
_tabHistoryHandler
-
_tabMruList
-
-
Constructor Details
-
NavigationHistory
-
-
Method Details
-
goBackward
public void goBackward() -
goForward
public void goForward() -
canGoBackward
public boolean canGoBackward() -
canGoForward
public boolean canGoForward() -
getTabPane
-
getTabHistoryHandler
-
setTabHistoryHandler
-
getTabMruList
-
getPreviousEditor
-
dispose
public void dispose() -
resourceDeleted
-
unlock
void unlock() -
lock
void lock() -
isLocked
boolean isLocked() -
addToMruList
-