01: package de.uka.ilkd.key.casetool.eclipse;
02:
03: import org.eclipse.jface.action.Action;
04: import org.eclipse.jface.action.IAction;
05: import org.eclipse.jface.viewers.ISelection;
06: import org.eclipse.ui.IWorkbenchWindow;
07: import org.eclipse.ui.IWorkbenchWindowActionDelegate;
08:
09: public class OpenKeYAction extends Action implements
10: IWorkbenchWindowActionDelegate {
11:
12: public void dispose() {
13: }
14:
15: public void init(IWorkbenchWindow window) {
16: }
17:
18: public void run(IAction action) {
19: KeYPlugin plugin = KeYPlugin.getDefault();
20: plugin.openKeY();
21: }
22:
23: public void selectionChanged(IAction action, ISelection selection) {
24: }
25: }
|