| ... |
... |
@@ -82,8 +82,8 @@ |
| 82 |
82 |
1*. //property~:// org.eclipse.core.resources.extension |
| 83 |
83 |
1*. //value~:// tuxt |
| 84 |
84 |
1. Add a new extension org.eclipse.ui.commands and add a //command// element to it with the following attributes:\\ |
| 85 |
|
-1*. //id: //de.cau.cs.rtprak.login.setSimFile |
| 86 |
|
-1*. //name: //Set Simulation File |
|
85 |
+1*. //id~://de.cau.cs.rtprak.login.setSimFile |
|
86 |
+1*. //name~://Set Simulation File |
| 87 |
87 |
1*. Click on //defaultHandler// to open a dialog for creation of a new handler class. Name the new class {{code language="none"}}SetFileHandler{{/code}} and put it into some package of that plugin. Remove the suggested interface and set {{code language="none"}}org.eclipse.core.commands.AbstractHandler{{/code}} as superclass instead. |
| 88 |
88 |
1. ((( |
| 89 |
89 |
Use the following method stub for SetFileHandler{{code language="none"}}{{/code}} (this requires a plugin dependency to org.eclipse.core.resources): |