Package editor

Class NavigationHistory

java.lang.Object
editor.NavigationHistory

public class NavigationHistory extends Object
Navigation history for goto-declaration operations and tab changes
  • Field Details

  • Constructor Details

    • NavigationHistory

      public NavigationHistory(TabPane tabPane)
  • Method Details

    • 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)
    • unlock

      void unlock()
    • lock

      void lock()
    • isLocked

      boolean isLocked()
    • addToMruList

      private void addToMruList(ITabHistoryContext tabHistoryContext)