1 | public RedoAction(EditingDomain domain)↵ | | 1 | public UndoAction(EditingDomain domain)↵
|
2 | {↵ | | 2 | {↵
|
3 | super(EMFEditUIPlugin.INSTANCE.getString("_UI_Redo_menu_item", new Object [] { "" }));↵ | | 3 | super(EMFEditUIPlugin.INSTANCE.getString("_UI_Undo_menu_item", new Object [] { "" }));↵
|
4 | this.domain = domain;↵ | | 4 | this.domain = domain;↵
|
5 | update();↵ | | 5 | update();↵
|
6 | }↵ | | 6 | }↵
|
|
7 | public RedoAction()↵ | | 7 | public UndoAction()↵
|
8 | {↵ | | 8 | {↵
|
9 | super(EMFEditUIPlugin.INSTANCE.getString("_UI_Redo_menu_item", new Object [] { "" }));↵ | | 9 | super(EMFEditUIPlugin.INSTANCE.getString("_UI_Undo_menu_item", new Object [] { "" }));↵
|
10 | }↵ | | 10 | }↵
|
|
11 | /**↵ | | 11 | /**↵
|
12 | * This returns the action's domain.↵ | | 12 | * This returns the action's domain.↵
|
13 | */↵ | | 13 | */↵
|
14 | public EditingDomain getEditingDomain()↵ | | 14 | public EditingDomain getEditingDomain()↵
|
15 | {↵ | | 15 | {↵
|
16 | return domain;↵ | | 16 | return domain;↵
|
17 | }↵ | | 17 | }↵
|
|
18 | /**↵ | | 18 | /**↵
|
19 | * This sets the action's domain.↵ | | 19 | * This sets the action's domain.↵
|
20 | */↵ | | 20 | */↵
|
21 | public void setEditingDomain(EditingDomain domain)↵ | | 21 | public void setEditingDomain(EditingDomain domain)↵
|
22 | {↵ | | 22 | {↵
|
23 | this.domain = domain;↵ | | 23 | this.domain = domain;↵
|
24 | }↵ | | 24 | }↵
|
|
25 | @Override↵ | | 25 | @Override↵
|
26 | public void run()↵ | | 26 | public void run()↵
|
27 | {↵ | | 27 | {↵
|
28 | domain.getCommandStack().redo(); | | 28 | domain.getCommandStack().undo();
|