/**
* 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");
}
}
