saberbud/seer
1
0
Fork 0
mirror of https://github.com/epasveer/seer.git synced 2026-08-30 17:10:44 +08:00
Code Issues Packages Projects Releases Wiki Activity

Add saving and remembering of manual gdb commands.

Browse Source
This commit is contained in:
Ernie Pasveer
2022-01-16 09:55:17 -06:00
parent 1339e89af3
commit 3203a9b781
12 changed files with 379 additions and 151 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/SeerMainWindow.cpp
+10
View File
@@ -307,6 +307,7 @@ void SeerMainWindow::handleSettingsConfiguration () {
dlg.setEditorHighlighterSettings(gdbWidget->editorManager()->editorHighlighterSettings());
dlg.setEditorHighlighterEnabled(gdbWidget->editorManager()->editorHighlighterEnabled());
dlg.setSeerConsoleMode(gdbWidget->consoleMode());
dlg.setSeerRememberManualCommandCount(gdbWidget->rememberManualCommandCount());
int ret = dlg.exec();
@@ -314,6 +315,7 @@ void SeerMainWindow::handleSettingsConfiguration () {
return;
}
// Update the GdbWidget with the new settings.
gdbWidget->setGdbProgram(dlg.gdbProgram());
gdbWidget->setGdbArguments(dlg.gdbArguments());
gdbWidget->setGdbAsyncMode(dlg.gdbAsyncMode());
@@ -321,6 +323,14 @@ void SeerMainWindow::handleSettingsConfiguration () {
gdbWidget->editorManager()->setEditorHighlighterSettings(dlg.editorHighlighterSettings());
gdbWidget->editorManager()->setEditorHighlighterEnabled(dlg.editorHighlighterEnabled());
gdbWidget->setConsoleMode(dlg.seerConsoleMode());
gdbWidget->setRememberManualCommandCount(dlg.seerRememberManualCommandCount());
// Clear history, if we need to.
bool clearManualCommandHistory = dlg.seerClearManualCommandHistory();
if (clearManualCommandHistory) {
gdbWidget->clearManualCommandHistory();
}
}
void SeerMainWindow::handleSettingsSaveConfiguration () {