/** * 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); }
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); } } }
IEditorPart editorPart = workbenchPage.getActiveEditor(); workbenchPage.getNavigationHistory().markLocation(editorPart);
PlatformUI.getWorkbench().getActiveWorkbenchWindow().getActivePage().getNavigationHistory().markLocation(editorPart); PlatformUI.getWorkbench().getActiveWorkbenchWindow().getActivePage().getNavigationHistory().markLocation(editorPart);