When I open a file in the jpicedt/tikz format, but the default format is "pstricks", then it is saved under the pstricks format. This is a bit annoying if you work with the two file formats frequently.
Log in to post a comment.
