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

inspection settings: non-default profile page is empty (IDEA-164833 ) follow-up

Browse Source
This commit is contained in:
Dmitry Batkovich
2016-12-01 15:19:31 +03:00
parent 42c6c1be3e
commit b8aec09971
1 changed files with 31 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/lang-impl/src/com/intellij/profile/codeInspection/ui/header/InspectionToolsConfigurable.java
+31 -1
View File
@@ -52,6 +52,7 @@ import com.intellij.profile.codeInspection.ui.SingleInspectionProfilePanel;
import com.intellij.ui.IdeBorderFactory;
import com.intellij.util.Alarm;
import com.intellij.util.SmartList;
import com.intellij.util.ui.JBInsets;
import com.intellij.util.ui.JBUI;
import com.intellij.util.ui.UIUtil;
import org.jdom.Element;
@@ -197,7 +198,36 @@ public abstract class InspectionToolsConfigurable extends BaseConfigurable
final JPanel toolbar = new JPanel();
toolbar.setBorder(BorderFactory.createEmptyBorder(0, 0, 7, 0));
myProfilePanelHolder = new JPanel();
myProfilePanelHolder = new JPanel() {
@Override
public void doLayout() {
Rectangle bounds = new Rectangle(getWidth(), getHeight());
JBInsets.removeFrom(bounds, getInsets());
for (Component component : getComponents()) {
component.setBounds(bounds);
}
}
@Override
public Dimension getPreferredSize() {
for (Component component : getComponents()) {
if (component.isVisible()) {
return component.getPreferredSize();
}
}
return super.getPreferredSize();
}
@Override
public Dimension getMinimumSize() {
for (Component component : getComponents()) {
if (component.isVisible()) {
return component.getMinimumSize();
}
}
return super.getMinimumSize();
}
};
wholePanel.add(toolbar, BorderLayout.PAGE_START);
wholePanel.add(myProfilePanelHolder, BorderLayout.CENTER);