fix #138 -- Require user to save file before exporting to tikz