OLD | NEW |
1 <?xml version="1.0" encoding="UTF-8"?> | 1 <?xml version="1.0" encoding="UTF-8"?> |
2 <?eclipse version="3.4"?> | 2 <?eclipse version="3.4"?> |
3 <plugin> | 3 <plugin> |
4 | 4 |
5 <extension | 5 <extension |
6 id="application" | 6 id="application" |
7 point="org.eclipse.core.runtime.applications"> | 7 point="org.eclipse.core.runtime.applications"> |
8 <application> | 8 <application> |
9 <run | 9 <run |
10 class="com.google.dart.tools.deploy.DartIDEApplication"> | 10 class="com.google.dart.tools.deploy.DartIDEApplication"> |
(...skipping 37 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
48 contextId="org.eclipse.ui.contexts.window" | 48 contextId="org.eclipse.ui.contexts.window" |
49 schemeId="com.google.dart.tools.dartAcceleratorConfiguration" | 49 schemeId="com.google.dart.tools.dartAcceleratorConfiguration" |
50 sequence="M1+O"> | 50 sequence="M1+O"> |
51 </key> | 51 </key> |
52 <key | 52 <key |
53 commandId="com.google.dart.tools.ui.omnibox" | 53 commandId="com.google.dart.tools.ui.omnibox" |
54 schemeId="com.google.dart.tools.dartAcceleratorConfiguration" | 54 schemeId="com.google.dart.tools.dartAcceleratorConfiguration" |
55 sequence="M1+3"> | 55 sequence="M1+3"> |
56 </key> | 56 </key> |
57 <key | 57 <key |
58 commandId="com.google.dart.tools.debug.ui.run.last" | 58 commandId="com.google.dart.tools.debug.ui.run.selection" |
59 schemeId="com.google.dart.tools.dartAcceleratorConfiguration" | 59 schemeId="com.google.dart.tools.dartAcceleratorConfiguration" |
60 sequence="M1+R"> | 60 sequence="M1+R"> |
61 </key> | 61 </key> |
62 <key | 62 <key |
63 commandId="com.google.dart.tools.ui.generateJavascript" | 63 commandId="com.google.dart.tools.ui.generateJavascript" |
64 schemeId="com.google.dart.tools.dartAcceleratorConfiguration" | 64 schemeId="com.google.dart.tools.dartAcceleratorConfiguration" |
65 sequence="M1+M2+G"> | 65 sequence="M1+M2+G"> |
66 </key> | 66 </key> |
67 <key | 67 <key |
68 commandId="com.google.dart.tools.debug.ui.launchDialog" | 68 commandId="com.google.dart.tools.debug.ui.launchDialog" |
(...skipping 185 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
254 category="com.google.dart.tools.ui.dart" | 254 category="com.google.dart.tools.ui.dart" |
255 class="com.google.dart.tools.ui.console.DartConsoleView" | 255 class="com.google.dart.tools.ui.console.DartConsoleView" |
256 icon="icons/full/eview16/console_view.gif" | 256 icon="icons/full/eview16/console_view.gif" |
257 id="com.google.dart.tools.ui.console" | 257 id="com.google.dart.tools.ui.console" |
258 name="Output" | 258 name="Output" |
259 restorable="false"> | 259 restorable="false"> |
260 </view> | 260 </view> |
261 </extension> | 261 </extension> |
262 | 262 |
263 </plugin> | 263 </plugin> |
OLD | NEW |