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/ToolBox.m | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'tikzit/src/gtk/ToolBox.m')

diff --git a/tikzit/src/gtk/ToolBox.m b/tikzit/src/gtk/ToolBox.m
index 837c5f9..0a963fd 100644
--- a/tikzit/src/gtk/ToolBox.m
+++ b/tikzit/src/gtk/ToolBox.m
@@ -174,6 +174,10 @@ static void unretain (gpointer data);
     [self _setToolWidget:[tool configurationWidget]];
 }
 
+- (void) present {
+    gtk_window_present (GTK_WINDOW (window));
+}
+
 - (void) loadConfiguration:(Configuration*)config {
 }
 
-- 
cgit v1.2.3