MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

resource bundle editor: give more space for text

Browse Source
This commit is contained in:
Dmitry Batkovich
2016-07-29 11:35:11 +03:00
parent d77c66b891
commit 5d5532ad37
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
plugins/properties/src/com/intellij/lang/properties/editor/ResourceBundleEditor.java
+3 -2
View 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);