Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(479)

Unified Diff: editor/tools/plugins/com.google.dart.tools.ui/plugin.xml

Issue 26581002: rename pub commands in the editor (Closed) Base URL: http://dart.googlecode.com/svn/branches/bleeding_edge/dart/
Patch Set: Created 7 years, 2 months 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 side-by-side diff with in-line comments
Download patch
Index: editor/tools/plugins/com.google.dart.tools.ui/plugin.xml
===================================================================
--- editor/tools/plugins/com.google.dart.tools.ui/plugin.xml (revision 28360)
+++ editor/tools/plugins/com.google.dart.tools.ui/plugin.xml (working copy)
@@ -1173,15 +1173,15 @@
</command>
<command
defaultHandler="com.google.dart.tools.ui.internal.handlers.PubInstallHandler"
- description="Runs pub install "
+ description="Runs pub get"
id="com.google.dart.tools.ui.commands.pubInstall"
- name="Pub Install">
+ name="Pub Get">
</command>
<command
defaultHandler="com.google.dart.tools.ui.internal.handlers.PubUpdateHandler"
- description="Runs pub update"
+ description="Runs pub upgrade"
id="com.google.dart.tools.ui.commands.pubUpdate"
- name="Pub Update">
+ name="Pub Upgrade">
</command>
<command
defaultHandler="com.google.dart.tools.ui.internal.handlers.RunScriptHandler"

Powered by Google App Engine
This is Rietveld 408576698