diff options
author | Alex Merry <alex.merry@cs.ox.ac.uk> | 2013-02-04 14:45:56 +0000 |
---|---|---|
committer | Alex Merry <alex.merry@cs.ox.ac.uk> | 2013-02-04 14:45:56 +0000 |
commit | 19e555267a2170d38e77e563192bfafe20d2f5c5 (patch) | |
tree | 526dff96fc68289ba6ff932f16dfe748b8991f11 /tikzit/src/gtk/SettingsDialog.h | |
parent | fe1b43c7b7c83e392b60ffc71ac29f7e63810f58 (diff) |
Only change style settings when OK is clicked
If the user clicks Cancel, nothing changes.
Diffstat (limited to 'tikzit/src/gtk/SettingsDialog.h')
-rw-r--r-- | tikzit/src/gtk/SettingsDialog.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tikzit/src/gtk/SettingsDialog.h b/tikzit/src/gtk/SettingsDialog.h index 9c1582d..0f687b3 100644 --- a/tikzit/src/gtk/SettingsDialog.h +++ b/tikzit/src/gtk/SettingsDialog.h @@ -26,6 +26,7 @@ @interface SettingsDialog: NSObject { Configuration *configuration; StyleManager *styleManager; + StyleManager *tempStyleManager; NodeStylesPalette *nodePalette; EdgeStylesPalette *edgePalette; |