If scyther-gui.py is launched without file arguments, it should pick the previous working directory.

cascremers / scyther

The Scyther Tool for the symbolic analysis of security protocols

96 stars 38 forks source link

Closed cascremers closed 11 years ago

cascremers commented 11 years ago

Changed my mind: this is not a good default behaviour. If started in a directory, this should be the working directory by default.