Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Display error message for bad file extension.
(The import file dialog will never allow a bad extension, but a user can enter one when launching from the command line.)
- Loading branch information