resource bundle editor: give more space for text
authorDmitry Batkovich <dmitry.batkovich@jetbrains.com>
Fri, 29 Jul 2016 08:35:11 +0000 (11:35 +0300)
committerDmitry Batkovich <dmitry.batkovich@jetbrains.com>
Fri, 29 Jul 2016 08:35:11 +0000 (11:35 +0300)
plugins/properties/src/com/intellij/lang/properties/editor/ResourceBundleEditor.java

index de9aa32bf4330193c2f0bcb432fd82b8ce733c95..49b5e9d2d2546015cc410ac0a4e8d610c7dc13e2 100644 (file)
@@ -70,6 +70,7 @@ import com.intellij.psi.xml.XmlFile;
 import com.intellij.ui.IdeBorderFactory;
 import com.intellij.ui.JBColor;
 import com.intellij.ui.JBSplitter;
+import com.intellij.ui.OnePixelSplitter;
 import com.intellij.ui.components.JBScrollPane;
 import com.intellij.util.*;
 import com.intellij.util.containers.ContainerUtil;
@@ -130,7 +131,7 @@ public class ResourceBundleEditor extends UserDataHolderBase implements Document
     final JPanel splitPanel = new JPanel();
     myValuesPanel = new JPanel();
     myStructureViewPanel = new JPanel();
-    JBSplitter splitter = new JBSplitter(false);
+    JBSplitter splitter = new OnePixelSplitter(false);
     splitter.setFirstComponent(myStructureViewPanel);
     splitter.setSecondComponent(myValuesPanel);
     splitter.setShowDividerControls(true);
@@ -465,7 +466,7 @@ public class ResourceBundleEditor extends UserDataHolderBase implements Document
         }
       };
       comp.add(editor.getComponent(), BorderLayout.CENTER);
-      comp.setBorder(IdeBorderFactory.createTitledBorder(title, true));
+      comp.setBorder(IdeBorderFactory.createTitledBorder(title, false));
       myTitledPanels.put(propertiesFile.getVirtualFile(), (JPanel)comp);
 
       valuesPanelComponent.add(comp, gc);