Keyboard shortcuts & new file command

cascremers / scyther

The Scyther Tool for the symbolic analysis of security protocols

https://cispa.saarland/group/cremers/scyther/index.html

99 stars 39 forks source link

Keyboard shortcuts & new file command #14

Closed kamphaus closed 8 years ago

kamphaus commented 8 years ago

When working with the tool I missed these features the most and so I added them. You might consider including these in the official tool so everyone can benefit from them.

Standard keyboard shortcuts were added for convenience.
A new file function was added.
When saving a new file, the tool now asks for a filename.

cascremers commented 8 years ago

Thanks, much appreciated.

kamphaus commented 8 years ago

You are welcome.