calebegg / proof-pad-classic

An IDE for ACL2
http://proofpad.org
GNU General Public License v3.0
21 stars 4 forks source link

Saving/Compiling User Experience #50

Closed jbozeman closed 11 years ago

jbozeman commented 11 years ago

On Windows, the save dialog doesn't filter .lisp files. So, if there were .lisp files in the directory, you don't only see those... conversely, the default is to save the current file without an extension. The same thing happens when compiling: there is no default extension and no indication of what extension to use.

Edit: in the latest version, selecting the "lisp files" filter also excludes directories. This is not the expected behavior.