Package org.eclipse.ui.texteditor
Class TextSelectionNavigationLocation
java.lang.Object
org.eclipse.ui.NavigationLocation
org.eclipse.ui.texteditor.TextSelectionNavigationLocation
- All Implemented Interfaces:
INavigationLocation
Represents the text selection context marked for the user in the navigation history.
- Since:
- 2.1
-
Constructor Summary
ConstructorsConstructorDescriptionTextSelectionNavigationLocation(ITextEditor part, boolean initialize) Creates a new text selection navigation location. -
Method Summary
Modifier and TypeMethodDescriptionvoiddispose()May be extended by clients.booleanmergeInto(INavigationLocation location) Merges the given location into this one.voidpartSaved(IEditorPart part) Hook method which is called when the given editor has been saved.voidReleases the state of this location.voidRestores this location.voidrestoreState(IMemento memento) Restores the object state from the given memento.voidStores the object state into the given memento.toString()voidupdate()Updates the this location.Methods inherited from class org.eclipse.ui.NavigationLocation
getEditorPart, getId, getInput, getText, setId, setInput
-
Constructor Details
-
TextSelectionNavigationLocation
Creates a new text selection navigation location.- Parameters:
part- the text editor partinitialize- a boolean indicating whether to initialize the new instance from the current selection
-
-
Method Details
-
toString
-
dispose
public void dispose()Description copied from class:NavigationLocationMay be extended by clients.- Specified by:
disposein interfaceINavigationLocation- Overrides:
disposein classNavigationLocation- See Also:
-
releaseState
public void releaseState()Releases the state of this location.- Specified by:
releaseStatein interfaceINavigationLocation- Overrides:
releaseStatein classNavigationLocation- See Also:
-
restoreLocation
public void restoreLocation()Restores this location. -
restoreState
Restores the object state from the given memento.- Parameters:
memento- the memento
-
saveState
Stores the object state into the given memento.- Parameters:
memento- the memento
-
partSaved
Hook method which is called when the given editor has been saved.- Parameters:
part- the editor part
-
update
public void update()Updates the this location.
-