Mercurial > octave-libgccjit
comparison libgui/src/settings-dialog.ui @ 18946:0be65bd7f369 gui-release
add an user preference for loading changed files without a prompt (bug #42678)
* file-editor-tab.cc (file_has_changed): check user preference before prompting
for reloading the file;
(notice-settings): get flag for prompting before reloading file from settings;
* file-editor-tab.h: new flag _always_reload_changed files
* settings-dialog.ui: new check box for new preference
* settings-dialog.cc (constructor): get state of new check box from settings;
(write_changes_settings): write state of new check box into settings
| author | Torsten <ttl@justmail.de> |
|---|---|
| date | Sun, 20 Jul 2014 21:23:32 +0200 |
| parents | 6504a1932637 |
| children |
comparison
equal
deleted
inserted
replaced
| 18945:d2100cb2331a | 18946:0be65bd7f369 |
|---|---|
| 402 </property> | 402 </property> |
| 403 <widget class="QWidget" name="scrollAreaWidgetContents"> | 403 <widget class="QWidget" name="scrollAreaWidgetContents"> |
| 404 <property name="geometry"> | 404 <property name="geometry"> |
| 405 <rect> | 405 <rect> |
| 406 <x>0</x> | 406 <x>0</x> |
| 407 <y>-146</y> | 407 <y>-175</y> |
| 408 <width>662</width> | 408 <width>662</width> |
| 409 <height>553</height> | 409 <height>580</height> |
| 410 </rect> | 410 </rect> |
| 411 </property> | 411 </property> |
| 412 <layout class="QVBoxLayout" name="verticalLayout_16"> | 412 <layout class="QVBoxLayout" name="verticalLayout_16"> |
| 413 <item> | 413 <item> |
| 414 <layout class="QVBoxLayout" name="verticalLayout_9"> | 414 <layout class="QVBoxLayout" name="verticalLayout_9"> |
| 1078 <verstretch>0</verstretch> | 1078 <verstretch>0</verstretch> |
| 1079 </sizepolicy> | 1079 </sizepolicy> |
| 1080 </property> | 1080 </property> |
| 1081 <property name="text"> | 1081 <property name="text"> |
| 1082 <string>Create nonexistent files without prompting</string> | 1082 <string>Create nonexistent files without prompting</string> |
| 1083 </property> | |
| 1084 </widget> | |
| 1085 </item> | |
| 1086 <item> | |
| 1087 <widget class="QCheckBox" name="editor_reload_changed_files"> | |
| 1088 <property name="text"> | |
| 1089 <string>Reload externally changed files without prompt</string> | |
| 1083 </property> | 1090 </property> |
| 1084 </widget> | 1091 </widget> |
| 1085 </item> | 1092 </item> |
| 1086 </layout> | 1093 </layout> |
| 1087 </item> | 1094 </item> |