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 int
MAX_MRU_HISTORY
static int
MAX_NAVIGATION_HISTORY
-
Constructor Summary
Constructors Constructor Description NavigationHistory(TabPane tabPane)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
addNavigationHistory(GosuEditor editor, int prevCaretPos, int currentCaretPos)
boolean
canGoBackward()
boolean
canGoForward()
void
dispose()
EditorHost
getPreviousEditor()
ITabHistoryHandler
getTabHistoryHandler()
List<ITabHistoryContext>
getTabMruList()
TabPane
getTabPane()
void
goBackward()
void
goForward()
void
resourceDeleted(String strTypeName)
void
setTabHistoryHandler(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)
-
-