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/Application.m | |
parent | 3eb2ed59378f51ea91100dc36d6ae176b696f926 (diff) |
Present windows if already shown
Also, allow the properties window to be hidden and shown
Diffstat (limited to 'tikzit/src/gtk/Application.m')
-rw-r--r-- | tikzit/src/gtk/Application.m | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/tikzit/src/gtk/Application.m b/tikzit/src/gtk/Application.m index 9f5fba5..4096fe9 100644 --- a/tikzit/src/gtk/Application.m +++ b/tikzit/src/gtk/Application.m @@ -125,7 +125,7 @@ Application* app = nil; object:toolBox]; propertiesWindow = [[PropertiesWindow alloc] init]; - [propertiesWindow setVisible:YES]; + [propertiesWindow loadConfiguration:configFile]; app = [self retain]; } @@ -241,10 +241,14 @@ Application* app = nil; preambleWindow = [[PreambleEditor alloc] initWithPreambles:preambles]; //[preambleWindow setParentWindow:mainWindow]; } - [preambleWindow show]; + [preambleWindow present]; #endif } +- (void) showPropertyEditor { + [propertiesWindow present]; +} + - (void) showPreviewForDocument:(TikzDocument*)doc { #ifdef HAVE_POPPLER if (previewWindow == nil) { @@ -252,7 +256,7 @@ Application* app = nil; //[previewWindow setParentWindow:mainWindow]; [previewWindow setDocument:doc]; } - [previewWindow show]; + [previewWindow present]; #endif } @@ -262,7 +266,7 @@ Application* app = nil; settingsDialog = [[SettingsDialog alloc] initWithConfiguration:configFile]; //[settingsDialog setParentWindow:mainWindow]; } - [settingsDialog show]; + [settingsDialog present]; #endif } @@ -290,6 +294,8 @@ Application* app = nil; } [toolBox saveConfiguration:configFile]; + [propertiesWindow saveConfiguration:configFile]; + if (lastOpenFolder != nil) { [configFile setStringEntry:@"lastOpenFolder" inGroup:@"Paths" value:lastOpenFolder]; } |