-
Task
-
Resolution: Done
-
Major
-
None
-
None
- When selecting a local file to open, there should be some sort of filter to only allow files with the supported extension to be opened.
- When dragging & dropping, a visual clue should be displayed when the dropped file is not supported (e.g. a PDF file)
- Also, no editor should open and the user should be able to redo the operation.