Provide a way to force recompile all files, or a specific file

[JetForMe]

Describe the request

#419 was closed as "declined," which I take to mean it won't be implemented.

When I'm trying to clean up warnings in code, it's nice to be able to force-recompile a file that compiled successfully.

Describe the current behavior

Only cumbersome ways to do this exist.

Arduino IDE version

Version: 2.3.4 Date: 2024-12-03T09:58:49.900Z CLI Version: 1.1.1 Copyright © 2025 Arduino SA

Operating system

macOS

Operating system version

n/a

Additional context

No response

Issue checklist

• I searched for previous requests in the issue tracker
• I verified the feature was still missing when using the latest nightly build
• My request contains all necessary details

[Lorandil]

I second that!

I just fiddled with a library version (replacing files with a file manager) and got some weird compilation errors.
Removing the object files fixed the issue.
That is really annoying and would wreck a project for most users...