Package editor
Class NavigationHistory
- java.lang.Object
-
- editor.NavigationHistory
-
public class NavigationHistory extends Object
Navigation history for goto-declaration operations and tab changes
-
-
Field Summary
Fields Modifier and Type Field Description static 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)booleancanGoBackward()booleancanGoForward()voiddispose()EditorHostgetPreviousEditor()ITabHistoryHandlergetTabHistoryHandler()List<ITabHistoryContext>getTabMruList()TabPanegetTabPane()voidgoBackward()voidgoForward()voidresourceDeleted(String strTypeName)voidsetTabHistoryHandler(ITabHistoryHandler tabHistoryHandler)
-
-
-
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
-
-
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 List<ITabHistoryContext> getTabMruList()
-
getPreviousEditor
public EditorHost getPreviousEditor()
-
dispose
public void dispose()
-
resourceDeleted
public void resourceDeleted(String strTypeName)
-
addNavigationHistory
public void addNavigationHistory(GosuEditor editor, int prevCaretPos, int currentCaretPos)
-
-