From 410fdf146246e014f1598e1880b5326e75159c43 Mon Sep 17 00:00:00 2001 From: Alex Merry Date: Mon, 17 Dec 2012 17:24:26 +0000 Subject: Update props window when a window's document changes A window's document can change when opening a document from a window that is has no backing file and no changes. The properties window was not getting updated propertly when this happened (it still referred to the old document). Now it is updated properly. --- tikzit/src/gtk/Window.h | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'tikzit/src/gtk/Window.h') diff --git a/tikzit/src/gtk/Window.h b/tikzit/src/gtk/Window.h index 570cdf4..bac64a0 100644 --- a/tikzit/src/gtk/Window.h +++ b/tikzit/src/gtk/Window.h @@ -58,7 +58,9 @@ /** * The document displayed by the window */ -@property (retain) TikzDocument *document; +@property (retain) TikzDocument *document; + +@property (readonly) BOOL hasFocus; /** * Create a window with an empty document -- cgit v1.2.3