void (@NotNull List<? extends SettingsEditorFragment<Settings, ?>> commandLine) { if (!commandLine.isEmpty()) { CommandLinePanel panel = new CommandLinePanel(commandLine, myConfigId, this); addLine(panel, 0, -panel.getLeftInset(), TOP_INSET); } }