Is your feature request related to a problem? Please describe.
Uppaal on macOS uses native file dialogs, which do not show any of the file filters or extensions, so when user writes a filename without an extension it pops an error "The file name must have a valid file extension".
Describe the solution you'd like
Instead, the error message should suggest the file extensions *.xml for full-featured and *.xta for text-only format.
Describe alternatives you've considered
Maybe it is possible to give some native hints to the file dialog to pre-fill the extension by default.
magoorden
commented
1 year ago
Is your feature request related to a problem? Please describe. Uppaal on macOS uses native file dialogs, which do not show any of the file filters or extensions, so when user writes a filename without an extension it pops an error "The file name must have a valid file extension".
Describe the solution you'd like Instead, the error message should suggest the file extensions
*.xmlfor full-featured and*.xtafor text-only format.Describe alternatives you've considered Maybe it is possible to give some native hints to the file dialog to pre-fill the extension by default.
Additional context The issue is specific to macOS