private static void addSettingsSection(final JPanel p, String name, JPanel section, GBC gbc) {
final JLabel lbl = new JLabel(name);
lbl.setFont(lbl.getFont().deriveFont(Font.BOLD));
lbl.setLabelFor(section);
p.add(lbl, GBC.std());
p.add(new JSeparator(), GBC.eol().fill(GBC.HORIZONTAL).insets(5, 0, 0, 0));
p.add(section, gbc.insets(20, 5, 0, 10));
}
