public void refreshOptions() {
panOptions.removeAll();
optionComps = new HashMap<>();
for (Enumeration<IOptionGroup> i = options.getGroups(); i.hasMoreElements();) {
IOptionGroup group = i.nextElement();
JPanel groupPanel = addGroup(group);
for (Enumeration<IOption> j = group.getOptions(); j.hasMoreElements();) {
IOption option = j.nextElement();
addOption(groupPanel, option);
}
}
addSearchPanel();
setSize(Math.max(getSize().width, maxOptionWidth + 30), Math.max(getSize().height, 400));
validate();
}