editor/tools/plugins/com.google.dart.tools.deploy/plugin.xml - Issue 11364134: Merge libv1.

Side by Side Diff: editor/tools/plugins/com.google.dart.tools.deploy/plugin.xml

Issue 11364134: Merge libv1. (Closed) Base URL: https://dart.googlecode.com/svn/experimental/lib_v2/dart

Patch Set: Reupload due to error Created 8 years, 1 month ago

Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.

Jump to:

View unified diff | Download patch | Annotate | Revision Log

« no previous file with comments | « editor/tools/plugins/com.google.dart.tools.deploy/META-INF/MANIFEST.MF ('k') | editor/tools/plugins/com.google.dart.tools.deploy/src/com/google/dart/tools/deploy/AnalysisMonitor.java » ('j') | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Hide Comments ('s')

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 405 matching lines...) Expand 10 before \| Expand all \| Expand 10 after Loading...
416 class="com.google.dart.tools.ui.internal.intro.IntroEditor"	416 class="com.google.dart.tools.ui.internal.intro.IntroEditor"

417 default="false"	417 default="false"

418 icon="icons/dart_16_16.gif"	418 icon="icons/dart_16_16.gif"

419 id="com.google.dart.tools.ui.intro.editor"	419 id="com.google.dart.tools.ui.intro.editor"

420 name="Welcome">	420 name="Welcome">

421 </editor>	421 </editor>

422 </extension>	422 </extension>

423	423

424 <extension-point id="com.google.dart.tools.ui.theme.mapper" name="Editor Mapp ing" schema="schema/com.google.dart.tools.ui.theme.mapper.exsd"/>	424 <extension-point id="com.google.dart.tools.ui.theme.mapper" name="Editor Mapp ing" schema="schema/com.google.dart.tools.ui.theme.mapper.exsd"/>

425 <extension-point id="com.google.dart.tools.ui.theme.theme" name="Color Theme" schema="schema/com.google.dart.tools.ui.theme.theme.exsd"/>	425 <extension-point id="com.google.dart.tools.ui.theme.theme" name="Color Theme" schema="schema/com.google.dart.tools.ui.theme.theme.exsd"/>

426 <!--	426

427 <extension	427 <extension

428 point="org.eclipse.ui.preferencePages">	428 point="org.eclipse.ui.preferencePages">

429 <page	429 <page

430 class="com.google.dart.tools.ui.theme.preferences.ThemePreferencePag e"	430 class="com.google.dart.tools.ui.theme.preferences.ThemePreferencePag e"

431 id="com.google.dart.tools.ui.theme.preferences.ThemePreferencePage"	431 id="com.google.dart.tools.ui.theme.preferences.ThemePreferencePage"

432 name="Color Theme">	432 name="Visual Theme">

433 </page>	433 </page>

434 </extension>	434 </extension>

435 -->	435

436 <extension	436 <extension

437 point="org.eclipse.core.runtime.preferences">	437 point="org.eclipse.core.runtime.preferences">

438 <initializer	438 <initializer

439 class="com.google.dart.tools.ui.theme.preferences.PreferenceInitiali zer">	439 class="com.google.dart.tools.ui.theme.preferences.PreferenceInitiali zer">

440 </initializer>	440 </initializer>

441 </extension>	441 </extension>

442	442

443 <extension	443 <extension

444 point="com.google.dart.tools.ui.theme.mapper">	444 point="com.google.dart.tools.ui.theme.mapper">

445 <mapper	445 <mapper

(...skipping 107 matching lines...) Expand 10 before \| Expand all \| Expand 10 after Loading...
553 </theme>	553 </theme>

554 <theme	554 <theme

555 file="themes/sunburst.xml">	555 file="themes/sunburst.xml">

556 </theme>	556 </theme>

557 <theme	557 <theme

558 file="themes/retta.xml">	558 file="themes/retta.xml">

559 </theme>	559 </theme>

560 </extension>	560 </extension>

561	561

562 </plugin>	562 </plugin>

OLD	NEW