No effective warning when saving sketch fails due to full disk

[mervinvb]

Describe the problem

When the Arduino IDE is used with a full disk (0 bytes space left) the error message "The file 'file.ino' has been changed on the file system" incorrectly appears when trying to save the file. Pressing save in the resulting dialog doesn't save anything. Running "save as" creates an empty .ino file with no errors appearing. There appears to be no handling of a full disk. It took me far too long to debug this on the user's PC because of the incorrect error message.

To reproduce

Fully fill up your computer's drive. Try to save the Arduino file. See the incorrect error message. Try using "save as", watch the .ino file contents dissappear.

Expected behavior

The IDE should display a user-friendly warning message when the user tries to save the .ino file on a full disk. Something like "Could not save file: no space available" would suffice.

Arduino IDE version

2.3.3

Operating system

Windows

Operating system version

10

Additional context

No response

Issue checklist

• I searched for previous reports in the issue tracker
• I verified the problem still occurs when using the latest nightly build
• My report contains all necessary details