Please let project store/set board options.

[AndreK]

The more board options a project has, the more time is wasted when switching between different projects.

Please add option to "store settings" for every item below, and including "board" to a file in project directory.
Then, when loading a project, if such file is found, restore settings.

[Juraj]

online Arduino IDE has and the new Arduino Pro IDE will have it

[AndreK]

I don't like "online"
"Arduino PRO IDE" sounds like something that is not free, do you know how much for a perpetual license?  (I don't like subscriptions on software)

[Juraj]

I don't like "online"
"Arduino PRO IDE" sounds like something that is not free, do you know how much for a perpetual license?  (I don't like subscriptions on software)

it will be free. https://blog.arduino.cc/2019/10/18/arduino-pro-ide-alpha-preview-with-advanced-features/
and there are other options. I use Eclipse Sloeber plugin

[AndreK]

Fantastic, thank you.
Hope for something like this have made me never fully switch to Eclipse