diff options
author | Alex Merry <alex.merry@cs.ox.ac.uk> | 2012-12-17 17:24:26 +0000 |
---|---|---|
committer | Alex Merry <alex.merry@cs.ox.ac.uk> | 2012-12-17 17:24:26 +0000 |
commit | 410fdf146246e014f1598e1880b5326e75159c43 (patch) | |
tree | 704c4d0b1359ac6db660a325c8ee7ab0ef35a93d /tikzit/src/gtk/Window.h | |
parent | f75835e188c1bf8010fb7cc18c7526934ff19eba (diff) |
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.
Diffstat (limited to 'tikzit/src/gtk/Window.h')
-rw-r--r-- | tikzit/src/gtk/Window.h | 4 |
1 files changed, 3 insertions, 1 deletions
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 |