public INavigationLocation createEmptyNavigationLocation() { final NavigationLocationComposite combinedFormNav = new NavigationLocationComposite(); // save the current FormPage as a navigation control combinedFormNav.add(new TabNavigationLocation(this)); // the control selected on the current page final Control focusControl = getSite().getShell().getDisplay().getFocusControl(); if (focusControl != null) { combinedFormNav.add(new ControlNavigationLocation(focusControl)); } return combinedFormNav; }
public boolean mergeInto(INavigationLocation currentLocation) { // merge this and the given currentLocation if they both are the same type and handle the same page if(currentLocation instanceof TabNavigationLocation) { TabNavigationLocation fpnlc = (TabNavigationLocation) currentLocation; return formPage == fpnlc.formPage; } return false; }
/** * The navigation location stack tries to minimize the number of entries by merging duplicates/similar entries together. */ public boolean mergeInto(INavigationLocation currentLocation) { if (currentLocation instanceof MultiPageEditorLocation) { if (((MultiPageEditorLocation) currentLocation).getCurrentGraphID() != null && ((MultiPageEditorLocation) currentLocation).getCurrentGraphID().equals(currentGraphID)) return true; } return false; }
public INavigationLocation createEmptyNavigationLocation() { return tlaEditor.createEmptyNavigationLocation(); }
public INavigationLocation createNavigationLocation() { return tlaEditor.createNavigationLocation(); }
public INavigationLocation createNavigationLocation() { return createEmptyNavigationLocation(); }
public boolean mergeInto(INavigationLocation currentLocation) { return false; }
public void dispose() { for (INavigationLocation location : locations) { location.dispose(); } }
public void releaseState() { for (INavigationLocation location : locations) { location.releaseState(); } }
public void restoreLocation() { for (INavigationLocation location : locations) { location.restoreLocation(); } }
public boolean mergeInto(INavigationLocation currentLocation) { // not supported right now return false; }
public void add(INavigationLocation aNavigationLocation) { locations.add(aNavigationLocation); }
public boolean mergeInto(INavigationLocation currentLocation) { // TODO Auto-generated method stub return false; }
/** * Creates a {@link MultiPageEditorLocation} * * @see org.eclipse.ui.INavigationLocationProvider#createEmptyNavigationLocation() */ public INavigationLocation createEmptyNavigationLocation() { return new MultiPageEditorLocation(this); }
/** * Creates a {@link MultiPageEditorLocation} * * @see org.eclipse.ui.INavigationLocationProvider#createNavigationLocation() */ public INavigationLocation createNavigationLocation() { return new MultiPageEditorLocation(this); }