diff options
| author | Alex Merry <alex.merry@cs.ox.ac.uk> | 2012-12-07 17:52:42 +0000 |
|---|---|---|
| committer | Alex Merry <alex.merry@cs.ox.ac.uk> | 2012-12-07 17:52:42 +0000 |
| commit | 2dd42d84ee66360c7713c9c86ca6b86f0c4a3b09 (patch) | |
| tree | 666c5c123c6e03f257c1c7ac72cfa074d464c384 /tikzit/src/gtk/SelectTool.m | |
| parent | 3eb2ed59378f51ea91100dc36d6ae176b696f926 (diff) | |
Present windows if already shown
Also, allow the properties window to be hidden and shown
Diffstat (limited to 'tikzit/src/gtk/SelectTool.m')
0 files changed, 0 insertions, 0 deletions