New workspace option in the File menu

tbepler / JProbe

MIT License

1 stars 1 forks source link

Closed tbepler closed 10 years ago

tbepler commented 10 years ago

Should also probably rename Save, Save as, and Load to Save workspace, Save workspace as, and Load workspace for clarity

tbepler commented 10 years ago

implemented in commit b32c12a62d08b7425bc0c4ea442eb8850a0e5d26