protege icon indicating copy to clipboard operation
protege copied to clipboard

Published 20 hours ago • verified publisher icon protegeproject

New feature request: reopen last file

Open nicolevasilevsky opened this issue 2 years ago • 0 comments

The File -> Open recent is super handy.

It would be really nice to have the option to do File -> Reopen last file

nicolevasilevsky avatar Aug 15 '22 21:08 nicolevasilevsky