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

add missed borders in ScopeConfigurable

Browse Source
This commit is contained in:
Sergey Malenkov
2017-12-01 16:32:34 +03:00
parent 07d333fe8f
commit 6d6d112e0d
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/lang-impl/src/com/intellij/ide/util/scopeChooser/ScopeConfigurable.java
+2
View File
@@ -28,6 +28,7 @@ import com.intellij.psi.search.scope.packageSet.NamedScope;
import com.intellij.psi.search.scope.packageSet.NamedScopeManager;
import com.intellij.psi.search.scope.packageSet.NamedScopesHolder;
import com.intellij.psi.search.scope.packageSet.PackageSet;
import com.intellij.util.ui.JBUI;
import org.jetbrains.annotations.NonNls;
import org.jetbrains.annotations.Nullable;
@@ -109,6 +110,7 @@ public class ScopeConfigurable extends NamedConfigurable<NamedScope> {
final JPanel wholePanel = new JPanel(new BorderLayout());
wholePanel.add(myPanel.getPanel(), BorderLayout.CENTER);
wholePanel.add(mySharedCheckbox, BorderLayout.SOUTH);
wholePanel.setBorder(JBUI.Borders.empty(0, 10, 10, 10));
return wholePanel;
}