diff options
author | Alex Merry <alex.merry@cs.ox.ac.uk> | 2012-12-07 17:52:42 +0000 |
---|---|---|
committer | Alex Merry <alex.merry@cs.ox.ac.uk> | 2012-12-07 17:52:42 +0000 |
commit | 2dd42d84ee66360c7713c9c86ca6b86f0c4a3b09 (patch) | |
tree | 666c5c123c6e03f257c1c7ac72cfa074d464c384 /tikzit/src/gtk/PropertiesWindow.h | |
parent | 3eb2ed59378f51ea91100dc36d6ae176b696f926 (diff) |
Present windows if already shown
Also, allow the properties window to be hidden and shown
Diffstat (limited to 'tikzit/src/gtk/PropertiesWindow.h')
-rw-r--r-- | tikzit/src/gtk/PropertiesWindow.h | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/tikzit/src/gtk/PropertiesWindow.h b/tikzit/src/gtk/PropertiesWindow.h index e5485cf..3f4cce4 100644 --- a/tikzit/src/gtk/PropertiesWindow.h +++ b/tikzit/src/gtk/PropertiesWindow.h @@ -58,8 +58,10 @@ - (id) init; -- (void) restoreUiStateFromConfig:(Configuration*)file group:(NSString*)group; -- (void) saveUiStateToConfig:(Configuration*)file group:(NSString*)group; +- (void) present; + +- (void) loadConfiguration:(Configuration*)config; +- (void) saveConfiguration:(Configuration*)config; @end |