| Index: editor/tools/plugins/com.google.dart.tools.ui/plugin.xml
|
| ===================================================================
|
| --- editor/tools/plugins/com.google.dart.tools.ui/plugin.xml (revision 27769)
|
| +++ editor/tools/plugins/com.google.dart.tools.ui/plugin.xml (working copy)
|
| @@ -330,6 +330,13 @@
|
| allowMultiple="false"
|
| id="com.google.dart.tools.SearchView">
|
| </view>
|
| + <view
|
| + category="com.google.dart.tools.ui.dart"
|
| + class="com.google.dart.tools.ui.internal.pub.PackagesView"
|
| + id="com.google.dart.tools.ui.view.packages"
|
| + name="Packages View"
|
| + restorable="true">
|
| + </view>
|
|
|
| <!-- view
|
| category="com.google.dart.tools.ui.dart"
|
|
|