/** * Save the collapse settings. * * @param settings instance of the ArgusSettings */ private void saveCollapseSettings(ArgusSettings settings) { if (m_autoCollapseCheckBox.isSelected()) { settings.setAttribute("msc.collapse", "true"); } else { settings.setAttribute("msc.collapse", "false"); } }
/** * Save the focus settings. * * @param settings instance of the ArgusSettings */ private void saveFocusSettings(ArgusSettings settings) { if (m_focusCheckBox.isSelected()) { settings.setAttribute("msc.statementFocus", "true"); } else { settings.setAttribute("msc.statementFocus", "false"); } }