forked from qt-creator/qt-creator
Make it possible to return editor mode if the last help page was closed.
This commit is contained in:
@@ -137,6 +137,11 @@ QWidget *GeneralSettingsPage::createPage(QWidget *parent)
|
||||
<< ' ' << m_ui.bookmarkGroupBox->title();
|
||||
m_searchKeywords.remove(QLatin1Char('&'));
|
||||
}
|
||||
|
||||
m_returnOnClose = manager->customValue(QLatin1String("ReturnOnClose"),
|
||||
false).toBool();
|
||||
m_ui.m_returnOnClose->setChecked(m_returnOnClose);
|
||||
|
||||
return widget;
|
||||
}
|
||||
|
||||
@@ -195,6 +200,13 @@ void GeneralSettingsPage::apply()
|
||||
|
||||
emit contextHelpOptionChanged();
|
||||
}
|
||||
|
||||
const bool close = m_ui.m_returnOnClose->isChecked();
|
||||
if (m_returnOnClose != close) {
|
||||
m_returnOnClose = close;
|
||||
manager->setCustomValue(QLatin1String("ReturnOnClose"), close);
|
||||
emit returnOnCloseChanged();
|
||||
}
|
||||
}
|
||||
|
||||
void GeneralSettingsPage::setCurrentPage()
|
||||
|
||||
Reference in New Issue
Block a user