From ec605af93a37ef3d601f22e345afb27337b2c205 Mon Sep 17 00:00:00 2001
From: anna <Anna.Kozlova@jetbrains.com>
Date: Thu, 27 Oct 2011 12:35:48 +0200
Subject: [PATCH] available plugins: title fixed

---
 .../com/intellij/ide/plugins/InstalledPluginsManagerMain.java   | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/platform/platform-impl/src/com/intellij/ide/plugins/InstalledPluginsManagerMain.java b/platform/platform-impl/src/com/intellij/ide/plugins/InstalledPluginsManagerMain.java
index 626ff761ace6..6bec7189562a 100644
--- a/platform/platform-impl/src/com/intellij/ide/plugins/InstalledPluginsManagerMain.java
+++ b/platform/platform-impl/src/com/intellij/ide/plugins/InstalledPluginsManagerMain.java
@@ -125,7 +125,7 @@ public class InstalledPluginsManagerMain extends PluginManagerMain {
 
       @Override
       public String getDisplayName() {
-        return "Available Plugins";
+        return "Browse Repositories";
       }
     };
   }