scphEditor
Class ScphEditorContributor
java.lang.Object
org.eclipse.ui.part.EditorActionBarContributor
scphEditor.ScphEditorContributor
- All Implemented Interfaces:
- org.eclipse.ui.IEditorActionBarContributor
public class ScphEditorContributor
- extends org.eclipse.ui.part.EditorActionBarContributor
Field Summary |
(package private) org.eclipse.jface.action.Action |
copy
|
(package private) org.eclipse.jface.action.Action |
flat
|
(package private) static ScphEditorPart |
recent
|
(package private) org.eclipse.jface.action.Action |
simplify
|
(package private) org.eclipse.jface.action.Action |
split
|
(package private) org.eclipse.jface.action.Action |
swap
|
(package private) org.eclipse.jface.action.Action |
ungroup
|
Method Summary |
void |
contributeToToolBar(org.eclipse.jface.action.IToolBarManager toolBarManager)
|
void |
setActiveEditor(org.eclipse.ui.IEditorPart targetEditor)
Remembers the most recent active proof editor. |
Methods inherited from class org.eclipse.ui.part.EditorActionBarContributor |
contributeToCoolBar, contributeToMenu, contributeToStatusLine, dispose, getActionBars, getPage, init, init |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
recent
static ScphEditorPart recent
copy
org.eclipse.jface.action.Action copy
split
org.eclipse.jface.action.Action split
flat
org.eclipse.jface.action.Action flat
swap
org.eclipse.jface.action.Action swap
ungroup
org.eclipse.jface.action.Action ungroup
simplify
org.eclipse.jface.action.Action simplify
ScphEditorContributor
public ScphEditorContributor()
setActiveEditor
public void setActiveEditor(org.eclipse.ui.IEditorPart targetEditor)
- Remembers the most recent active proof editor.
(Mainly for viewers to insert stuff into the right guy.)
- Specified by:
setActiveEditor
in interface org.eclipse.ui.IEditorActionBarContributor
- Overrides:
setActiveEditor
in class org.eclipse.ui.part.EditorActionBarContributor
contributeToToolBar
public void contributeToToolBar(org.eclipse.jface.action.IToolBarManager toolBarManager)
- Overrides:
contributeToToolBar
in class org.eclipse.ui.part.EditorActionBarContributor