I'm not really happy with the way that the prompt option is implemented. The QuickPick isn't the correct UI element here, but as far as I can tell, vscode doesn't expose a real save confirmation prompt to extensions. It's possible it's buried somewhere where I can't find it though.
A workaround for https://github.com/meraymond2/idris-vscode/issues/24. It's not possible for now to run commands on unsaved files, but I've added an option to autosave files before running those commands.
I'm not really happy with the way that the
promptoption is implemented. The QuickPick isn't the correct UI element here, but as far as I can tell, vscode doesn't expose a real save confirmation prompt to extensions. It's possible it's buried somewhere where I can't find it though.