/** * Writes a check mark of the given situation into the navigation history. * @since 2.1 */ protected void markInNavigationHistory() { getSite().getPage().getNavigationHistory().markLocation(this); }
/** * Writes a check mark of the given situation into the navigation history. * @since 2.1 */ protected void markInNavigationHistory() { getSite().getPage().getNavigationHistory().markLocation(this); }
/** * Writes a check mark of the given situation into the navigation history. * @since 2.1 */ protected void markInNavigationHistory() { getSite().getPage().getNavigationHistory().markLocation(this); }
@Override public void pageActivated(IWorkbenchPage page) { super.pageActivated(page); NavigationHistory nh = (NavigationHistory) page.getNavigationHistory(); if (forward) { nh.setForwardAction(this); } else { nh.setBackwardAction(this); } }
private void markInNavigationHistory() { getSite().getPage().getNavigationHistory().markLocation(this); }
@Override public void linkingFocusLost(LinkedPosition position, LinkedModeUITarget target) { // mark navigation history IWorkbenchWindow win= PlatformUI.getWorkbench().getActiveWorkbenchWindow(); if (win != null) { IWorkbenchPage page= win.getActivePage(); if (page != null) { IEditorPart part= page.getActiveEditor(); page.getNavigationHistory().markLocation(part); } } }
@Override public void linkingFocusLost(LinkedPosition position, LinkedModeUITarget target) { // mark navigation history IWorkbenchWindow win= PlatformUI.getWorkbench().getActiveWorkbenchWindow(); if (win != null) { IWorkbenchPage page= win.getActivePage(); if (page != null) { IEditorPart part= page.getActiveEditor(); page.getNavigationHistory().markLocation(part); } } }
public void linkingFocusLost(LinkedPosition position, LinkedModeUITarget target) { // mark navigation history IWorkbenchWindow win= PlatformUI.getWorkbench().getActiveWorkbenchWindow(); if (win != null) { IWorkbenchPage page= win.getActivePage(); if (page != null) { IEditorPart part= page.getActiveEditor(); page.getNavigationHistory().markLocation(part); } } }
/** * Hook which gets called when the editor has been saved. * Subclasses may extend. * @since 2.1 */ protected void editorSaved() { INavigationLocation[] locations= getSite().getPage().getNavigationHistory().getLocations(); IEditorInput input= getEditorInput(); for (int i= 0; i < locations.length; i++) { if (locations[i] instanceof TextSelectionNavigationLocation) { if(input.equals(locations[i].getInput())) { TextSelectionNavigationLocation location= (TextSelectionNavigationLocation) locations[i]; location.partSaved(this); } } } }
/** * Hook which gets called when the editor has been saved. * Subclasses may extend. * @since 2.1 */ protected void editorSaved() { INavigationLocation[] locations= getSite().getPage().getNavigationHistory().getLocations(); IEditorInput input= getEditorInput(); for (int i= 0; i < locations.length; i++) { if (locations[i] instanceof TextSelectionNavigationLocation) { if(input.equals(locations[i].getInput())) { TextSelectionNavigationLocation location= (TextSelectionNavigationLocation) locations[i]; location.partSaved(this); } } } }
@Override public void run() { if (getWorkbenchWindow() == null) { // action has been disposed return; } IWorkbenchPage page = getActivePage(); if (page != null) { NavigationHistory nh = (NavigationHistory) page.getNavigationHistory(); if (forward) { nh.forward(); } else { nh.backward(); } recreateMenu = true; } }
/** * Hook which gets called when the editor has been saved. * Subclasses may extend. * @since 2.1 */ protected void editorSaved() { INavigationLocation[] locations= getSite().getPage().getNavigationHistory().getLocations(); IEditorInput input= getEditorInput(); for (int i= 0; i < locations.length; i++) { if (locations[i] instanceof TextSelectionNavigationLocation) { if(input.equals(locations[i].getInput())) { TextSelectionNavigationLocation location= (TextSelectionNavigationLocation) locations[i]; location.partSaved(this); } } } }
IEditorPart editorPart = workbenchPage.getActiveEditor(); workbenchPage.getNavigationHistory().markLocation(editorPart);
PlatformUI.getWorkbench().getActiveWorkbenchWindow().getActivePage().getNavigationHistory().markLocation(editorPart); PlatformUI.getWorkbench().getActiveWorkbenchWindow().getActivePage().getNavigationHistory().markLocation(editorPart);
.getActivePage().getNavigationHistory(); NavigationHistoryEntry[] entries; if (forward) {