Mercurial > octave
comparison libgui/src/external-editor-interface.cc @ 31702:aae24eaf89ad
update gui_pref class to match recent changes to sc_pref class
* gui-preferences.h, gui-preferences.cc (gui_pref): Define as class with
private data members. Disallow modifying data members by only
providing accessor functions instead of making data members constant.
Change all uses.
(all_gui_preferences): New singleton class for global gui_pref data.
* gui-preferences-cs.h, gui-preferences-dc.h, gui-preferences-dw.h,
gui-preferences-ed.h, gui-preferences-fb.h, gui-preferences-ff.h,
gui-preferences-global.h, gui-preferences-gp.h, gui-preferences-hw.h,
gui-preferences-mw.h, gui-preferences-nr.h, gui-preferences-pd.h,
gui-preferences-sd.h, gui-preferences-ve.h, gui-preferences-ws.h:
Provide declarations but not definitions of gui_pref objects.
* gui-preferences-cs.cc, gui-preferences-dc.cc, gui-preferences-dw.cc,
gui-preferences-ed.cc, gui-preferences-fb.cc, gui-preferences-ff.cc,
gui-preferences-global.cc, gui-preferences-gp.cc,
gui-preferences-hw.cc, gui-preferences-mw.cc, gui-preferences-nr.cc,
gui-preferences-pd.cc, gui-preferences-sd.cc, gui-preferences-ve.cc,
gui-preferences-ws.cc:
New files to provide definitions of gui_pref objects.
| author | John W. Eaton <jwe@octave.org> |
|---|---|
| date | Tue, 03 Jan 2023 08:03:20 -0500 |
| parents | deb553ac2c54 |
| children | 5f11de0e7440 |
comparison
equal
deleted
inserted
replaced
| 31701:286306a9a393 | 31702:aae24eaf89ad |
|---|---|
| 100 // Get and verify the settings of the external editor program | 100 // Get and verify the settings of the external editor program |
| 101 QString external_editor_interface::external_editor (void) | 101 QString external_editor_interface::external_editor (void) |
| 102 { | 102 { |
| 103 gui_settings settings; | 103 gui_settings settings; |
| 104 | 104 |
| 105 QString editor = settings.value (global_custom_editor.key, | 105 QString editor = settings.value (global_custom_editor.settings_key (), |
| 106 global_custom_editor.def).toString (); | 106 global_custom_editor.def ()).toString (); |
| 107 | 107 |
| 108 // check the settings (avoid an empty string) | 108 // check the settings (avoid an empty string) |
| 109 if (editor.trimmed ().isEmpty ()) | 109 if (editor.trimmed ().isEmpty ()) |
| 110 { | 110 { |
| 111 QMessageBox *msgBox | 111 QMessageBox *msgBox |