From 2dd42d84ee66360c7713c9c86ca6b86f0c4a3b09 Mon Sep 17 00:00:00 2001
From: Alex Merry <alex.merry@cs.ox.ac.uk>
Date: Fri, 7 Dec 2012 17:52:42 +0000
Subject: Present windows if already shown

Also, allow the properties window to be hidden and shown
---
 tikzit/src/gtk/SettingsDialog.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'tikzit/src/gtk/SettingsDialog.h')

diff --git a/tikzit/src/gtk/SettingsDialog.h b/tikzit/src/gtk/SettingsDialog.h
index a159afb..d937774 100644
--- a/tikzit/src/gtk/SettingsDialog.h
+++ b/tikzit/src/gtk/SettingsDialog.h
@@ -36,6 +36,7 @@
 
 - (void) setParentWindow:(GtkWindow*)parent;
 
+- (void) present;
 - (void) show;
 - (void) hide;
 - (BOOL) isVisible;
-- 
cgit v1.2.3