diff options
| author | Alex Merry <dev@randomguy3.me.uk> | 2013-03-22 16:00:50 +0000 |
|---|---|---|
| committer | Alex Merry <dev@randomguy3.me.uk> | 2013-03-22 16:00:50 +0000 |
| commit | 780a705adc71864bbc964d2802625c2fd1cce0bc (patch) | |
| tree | d9dda978cc53b07568c162d3248b974bad378594 /tikzit/src/gtk/SettingsDialog.m | |
| parent | ce114d1100efb2c7635227e2aa1a5b738bc54b1f (diff) | |
Save config to disk on closing preambles editor or settings dialog
Diffstat (limited to 'tikzit/src/gtk/SettingsDialog.m')
| -rw-r--r-- | tikzit/src/gtk/SettingsDialog.m | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/tikzit/src/gtk/SettingsDialog.m b/tikzit/src/gtk/SettingsDialog.m index c45ab53..e3d8e6b 100644 --- a/tikzit/src/gtk/SettingsDialog.m +++ b/tikzit/src/gtk/SettingsDialog.m @@ -17,6 +17,7 @@ #import "SettingsDialog.h" +#import "Application.h" #import "Configuration.h" #import "EdgeStylesPalette.h" #import "NodeStylesPalette.h" @@ -280,9 +281,7 @@ static void cancel_button_clicked_cb (GtkButton *widget, SettingsDialog *dialog) [styleManager updateFromManager:tempStyleManager]; - [[NSNotificationCenter defaultCenter] - postNotificationName:@"ConfigurationChanged" - object:configuration]; + [app saveConfiguration]; } - (void) revert { |