scphEditor
Class ScphEditorContributor

java.lang.Object
  extended by org.eclipse.ui.part.EditorActionBarContributor
      extended by 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
           
 
Constructor Summary
ScphEditorContributor()
           
 
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
 

Field Detail

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
Constructor Detail

ScphEditorContributor

public ScphEditorContributor()
Method Detail

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