Mercurial > hg > octave-jordi
diff libgui/src/settings-dialog.ui @ 21044:43b498b8c38c
always restore breakpoints of an editor file after saving
* file-editor-tab.cc (save_file): always restore the breakpoints without
checking preferences or asking the user;
(notice_settings): no more preferences for restoring the breakpoints
* file-editor-tab.h: removed obsolete class varaibale
* settings-dialog.cc (settings_dialog, write_changed_settings): no more
references for restoring breakpoints
* settings-dialog.ui: removed tab for debugger settings
| author | Torsten <ttl@justmail.de> |
|---|---|
| date | Thu, 07 Jan 2016 20:56:34 +0100 |
| parents | cb1eb7d9a89f |
| children |
line wrap: on
line diff
--- a/libgui/src/settings-dialog.ui +++ b/libgui/src/settings-dialog.ui @@ -1499,111 +1499,6 @@ </item> </layout> </widget> - <widget class="QWidget" name="tab_debugger"> - <attribute name="title"> - <string>Debugger</string> - </attribute> - <layout class="QVBoxLayout" name="vlayout_dbg_00"> - <item> - <widget class="QScrollArea" name="scrollArea_8"> - <property name="maximumSize"> - <size> - <width>16777215</width> - <height>16777215</height> - </size> - </property> - <property name="widgetResizable"> - <bool>true</bool> - </property> - <widget class="QWidget" name="scrollAreaWidgetContents_9"> - <property name="geometry"> - <rect> - <x>0</x> - <y>0</y> - <width>658</width> - <height>571</height> - </rect> - </property> - <layout class="QVBoxLayout" name="vlayout_dbg_01"> - <item> - <layout class="QVBoxLayout" name="vlayout_dbg_02"> - <item> - <layout class="QGridLayout" name="glayout_dbg_01"> - <item row="4" column="0"> - <widget class="QGroupBox" name="groupbox_dbg_01"> - <property name="sizePolicy"> - <sizepolicy hsizetype="Expanding" vsizetype="Expanding"> - <horstretch>0</horstretch> - <verstretch>0</verstretch> - </sizepolicy> - </property> - <property name="title"> - <string>Breakpoint Retention Upon Saving File</string> - </property> - <widget class="QRadioButton" name="debugger_filesave_ask"> - <property name="geometry"> - <rect> - <x>10</x> - <y>20</y> - <width>273</width> - <height>21</height> - </rect> - </property> - <property name="text"> - <string>Ask whether breakpoints should be restored</string> - </property> - </widget> - <widget class="QRadioButton" name="debugger_filesave_restore"> - <property name="geometry"> - <rect> - <x>10</x> - <y>40</y> - <width>231</width> - <height>21</height> - </rect> - </property> - <property name="text"> - <string>Automatically restore breakpoints</string> - </property> - </widget> - <widget class="QRadioButton" name="debugger_filesave_discard"> - <property name="geometry"> - <rect> - <x>10</x> - <y>60</y> - <width>231</width> - <height>21</height> - </rect> - </property> - <property name="text"> - <string>Discard breakpoints</string> - </property> - </widget> - </widget> - </item> - </layout> - </item> - </layout> - </item> - <item> - <spacer name="vspacer_dbg_01"> - <property name="orientation"> - <enum>Qt::Vertical</enum> - </property> - <property name="sizeHint" stdset="0"> - <size> - <width>20</width> - <height>40</height> - </size> - </property> - </spacer> - </item> - </layout> - </widget> - </widget> - </item> - </layout> - </widget> <widget class="QWidget" name="tab_terminal"> <attribute name="title"> <string>Terminal</string>