Merge remote-tracking branch 'origin/master'

2026-09-27 10:03:11 +07:00 · 2014-07-23 15:38:46 +02:00
parent 113066343d 43eddd87b5
commit 94196264b1
1 changed files with 1 additions and 0 deletions
@@ -831,6 +831,7 @@ public class SingleInspectionProfilePanel extends JPanel {

        final ToolbarDecorator wrappedTable = ToolbarDecorator.createDecorator(scopesAndScopesAndSeveritiesTable);
        final JPanel panel = wrappedTable.createPanel();
+        panel.setMinimumSize(new Dimension(getMinimumSize().width, 3 * scopesAndScopesAndSeveritiesTable.getRowHeight()));
        severityPanel.add(new JBLabel("Scopes & Severities"),
                          new GridBagConstraints(0, 0, 1, 1, 0, 0, GridBagConstraints.NORTHWEST, GridBagConstraints.NONE,
                                                 new Insets(5, 0, 2, 10), 0, 0));