Solutionunvalidated
I removed any file-delete functionality because everything I found or tried was extremely limiting — the user can always use the Save button (using `downloadHandler()`) to delete a file. Tension: everything I found or tried was extremely limiting. Outcome: The user can always delete a saved `.rds` file through the normal channels using Windows.
52b8aca5-ce77-490d-9ad9-8eb0957f3e1f
I removed any file-delete functionality because everything I found or tried was extremely limiting — the user can always use the Save button (using downloadHandler()) to delete a file. Tension: everything I found or tried was extremely limiting. Outcome: The user can always delete a saved .rds file through the normal channels using Windows.