From f44b5bbd97dae977a332cddfa44754590a6c3b18 Mon Sep 17 00:00:00 2001
From: Ekaterina Tuzova <Ekaterina.Tuzova@jetbrains.com>
Date: Thu, 28 Feb 2013 15:59:36 +0400
Subject: [PATCH] removed border from common options form

---
 .../com/jetbrains/python/run/PyPluginCommonOptionsForm.form     | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/python/pluginSrc/com/jetbrains/python/run/PyPluginCommonOptionsForm.form b/python/pluginSrc/com/jetbrains/python/run/PyPluginCommonOptionsForm.form
index fd3364d8d3f3..b6710a79e6a9 100644
--- a/python/pluginSrc/com/jetbrains/python/run/PyPluginCommonOptionsForm.form
+++ b/python/pluginSrc/com/jetbrains/python/run/PyPluginCommonOptionsForm.form
@@ -5,7 +5,7 @@
       <xy x="20" y="20" width="457" height="262"/>
     </constraints>
     <properties/>
-    <border type="none" title=""/>
+    <border type="none"/>
     <children>
       <grid id="27dc6" binding="myMainPanel" layout-manager="GridLayoutManager" row-count="7" column-count="3" same-size-horizontally="false" same-size-vertically="false" hgap="-1" vgap="-1">
         <margin top="0" left="0" bottom="0" right="0"/>