debugger: some gui & code cosmetics

src/plugins/debugger/gdb/gdboptionspage.cpp

@@ -88,6 +88,13 @@ QWidget *GdbOptionsPage::createPage(QWidget *parent)
     m_group.insert(theDebuggerAction(GdbWatchdogTimeout),
         m_ui.spinBoxGdbWatchdogTimeout);
 
+    m_group.insert(theDebuggerAction(UseMessageBoxForSignals),
+        m_ui.checkBoxUseMessageBoxForSignals);
+    m_group.insert(theDebuggerAction(SkipKnownFrames),
+        m_ui.checkBoxSkipKnownFrames);
+    m_group.insert(theDebuggerAction(EnableReverseDebugging),
+        m_ui.checkBoxEnableReverseDebugging);
+    m_group.insert(theDebuggerAction(GdbWatchdogTimeout), 0);
 
 #if 1
     m_ui.groupBoxPluginDebugging->hide();
@@ -114,6 +121,9 @@ QWidget *GdbOptionsPage::createPage(QWidget *parent)
     if (m_searchKeywords.isEmpty()) {
         // TODO: Add breakpoints, environment?
         QTextStream(&m_searchKeywords) << ' ' << m_ui.labelGdbLocation->text()
+                << ' ' << m_ui.checkBoxSkipKnownFrames->text()
+                << ' ' << m_ui.checkBoxEnableReverseDebugging->text()
+                << ' ' << m_ui.checkBoxUseMessageBoxForSignals->text()
                 << ' ' << m_ui.labelEnvironment->text()
                 << ' ' << m_ui.labelGdbStartupScript->text();
         m_searchKeywords.remove(QLatin1Char('&'));

src/plugins/debugger/gdb/gdboptionspage.ui

@@ -14,7 +14,7 @@
    <item>
     <widget class="QGroupBox" name="groupBoxLocations">
      <property name="title">
-      <string>Gdb interaction</string>
+      <string>Gdb</string>
      </property>
      <layout class="QFormLayout" name="formLayout">
       <property name="horizontalSpacing">
@@ -65,7 +65,32 @@
       <item row="2" column="1">
        <widget class="Utils::PathChooser" name="scriptFileChooser"/>
       </item>
-      <item row="3" column="0" colspan="2">
+      <item row="5" column="0" colspan="2">
+       <widget class="QCheckBox" name="checkBoxEnableReverseDebugging">
+        <property name="text">
+         <string>Enable reverse debugging</string>
+        </property>
+       </widget>
+      </item>
+      <item row="6" column="0" colspan="2">
+       <widget class="QCheckBox" name="checkBoxSkipKnownFrames">
+        <property name="toolTip">
+         <string>When this option is checked, 'Step Into' compresses several steps into one in certain situations, leading to 'less noisy' debugging. So will, e.g., the atomic
+ reference counting code be skipped, and a single 'Step Into' for a signal emission will end up directly in the slot connected to it.</string>
+        </property>
+        <property name="text">
+         <string>Skip known frames when stepping</string>
+        </property>
+       </widget>
+      </item>
+      <item row="7" column="0" colspan="2">
+       <widget class="QCheckBox" name="checkBoxUseMessageBoxForSignals">
+        <property name="text">
+         <string>Show a message box when receiving a signal</string>
+        </property>
+       </widget>
+      </item>
+      <item row="4" column="0" colspan="2">
        <widget class="QCheckBox" name="checkBoxUsePreciseBreakpoints">
         <property name="toolTip">
          <string>When this option is checked, the debugger plugin attempts
@@ -78,14 +103,14 @@ name in different directories.</string>
         </property>
        </widget>
       </item>
-      <item row="4" column="0">
+      <item row="3" column="0">
        <widget class="QLabel" name="labelGdbWatchdogTimeout">
         <property name="text">
          <string>Gdb timeout:</string>
         </property>
        </widget>
       </item>
-      <item row="4" column="1">
+      <item row="3" column="1">
        <widget class="QSpinBox" name="spinBoxGdbWatchdogTimeout">
         <property name="toolTip">
          <string>This is the number of seconds Qt Creator will wait before

src/plugins/debugger/gdb/trkoptionspage.cpp

@@ -56,7 +56,7 @@ QString TrkOptionsPage::settingsId()
 
 QString TrkOptionsPage::displayName() const
 {
-    return tr("Symbian TRK");
+    return tr("Symbian");
 }
 
 QString TrkOptionsPage::category() const

src/plugins/debugger/gdb/trkoptionswidget.ui

@@ -39,7 +39,7 @@
    <item>
     <widget class="QGroupBox" name="commGroupBox">
      <property name="title">
-      <string>Communication</string>
+      <string>Device Communication</string>
      </property>
      <layout class="QHBoxLayout" name="horizontalLayout">
       <item>