diff options
| author | Matthias Melcher <github@matthiasm.com> | 2023-03-19 20:04:01 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-19 20:04:01 +0100 |
| commit | f37347dd6ed73f180116e100de46cbe33ce19598 (patch) | |
| tree | 5f98b4914544ad065243a81a4e481e3c4e598fa8 /fluid/undo.cxx | |
| parent | f9004352b42b3b039c391d5a8c83930c9b49b53a (diff) | |
Fix and consolidate settings dialogs (#346, #703)
Diffstat (limited to 'fluid/undo.cxx')
| -rw-r--r-- | fluid/undo.cxx | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/fluid/undo.cxx b/fluid/undo.cxx index 0e8da0fc8..21503b122 100644 --- a/fluid/undo.cxx +++ b/fluid/undo.cxx @@ -88,6 +88,7 @@ void redo_cb(Fl_Widget *, void *) { if (!read_file(undo_filename(undo_current + 1), 0)) { // Unable to read checkpoint file, don't redo... widget_browser->rebuild(); + g_project.update_settings_dialog(); undo_resume(); return; } @@ -104,6 +105,7 @@ void redo_cb(Fl_Widget *, void *) { // Update modified flag... set_modflag(undo_current != undo_save); widget_browser->rebuild(); + g_project.update_settings_dialog(); // Update undo/redo menu items... if (undo_current >= undo_last) Main_Menu[redo_item].deactivate(); @@ -129,6 +131,7 @@ void undo_cb(Fl_Widget *, void *) { if (!read_file(undo_filename(undo_current - 1), 0)) { // Unable to read checkpoint file, don't undo... widget_browser->rebuild(); + g_project.update_settings_dialog(); undo_resume(); return; } @@ -151,6 +154,7 @@ void undo_cb(Fl_Widget *, void *) { if (undo_current <= 0) Main_Menu[undo_item].deactivate(); Main_Menu[redo_item].activate(); widget_browser->rebuild(); + g_project.update_settings_dialog(); undo_resume(); } |