debugger: make watchdog timeout configurable

2009-12-09 15:23:49 +01:00
parent 4db1b37177
commit bf077800b8
7 changed files with 62 additions and 7 deletions
--- a/src/plugins/debugger/gdb/gdboptionspage.cpp
+++ b/src/plugins/debugger/gdb/gdboptionspage.cpp
@@ -51,6 +51,9 @@ QWidget *GdbOptionsPage::createPage(QWidget *parent)
        m_ui.environmentEdit);
    m_group.insert(theDebuggerAction(UsePreciseBreakpoints), 
        m_ui.checkBoxUsePreciseBreakpoints);
+    m_group.insert(theDebuggerAction(GdbWatchdogTimeout), 
+        m_ui.spinBoxGdbWatchdogTimeout);
+

 #if 1
    m_ui.groupBoxPluginDebugging->hide();