From 8d7378ccc3c3e55b22ee9caafaa6e8b0c59c912a Mon Sep 17 00:00:00 2001
From: Sergey Malenkov <sergey.malenkov@jetbrains.com>
Date: Tue, 14 Apr 2015 17:40:10 +0200
Subject: [PATCH] Fix jumping of plugins with long names

---
 .../com/intellij/ide/plugins/PluginManagerMain.form    | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/platform/platform-impl/src/com/intellij/ide/plugins/PluginManagerMain.form b/platform/platform-impl/src/com/intellij/ide/plugins/PluginManagerMain.form
index 1f9cea154af4..bba955d00422 100644
--- a/platform/platform-impl/src/com/intellij/ide/plugins/PluginManagerMain.form
+++ b/platform/platform-impl/src/com/intellij/ide/plugins/PluginManagerMain.form
@@ -54,7 +54,10 @@
                 <constraints>
                   <splitpane position="right"/>
                 </constraints>
-                <properties/>
+                <properties>
+                  <minimumSize width="50" height="50"/>
+                  <preferredSize width="300" height="200"/>
+                </properties>
                 <border type="none">
                   <size top="2" left="4" bottom="2" right="4"/>
                 </border>
@@ -91,7 +94,10 @@
                 <constraints>
                   <splitpane position="left"/>
                 </constraints>
-                <properties/>
+                <properties>
+                  <minimumSize width="50" height="50"/>
+                  <preferredSize width="300" height="200"/>
+                </properties>
                 <border type="none"/>
                 <children/>
               </grid>