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/TikZiT.xcodeproj/xcuserdata | |
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/TikZiT.xcodeproj/xcuserdata')
0 files changed, 0 insertions, 0 deletions