Board Settings in *.ino file

microsan84:
I wonder if the Arduino IDE developers are gonna stop using java
when they completely going over to the cli, in that case all the extensions I have made
are gonna be obsolete?

I don't forsee that the complete switch from arduino-builder to Arduino CLI (which you can see in progress here) in the Arduino IDE would have significant implications for extensions.

However, if you check the changelogs you can see that development on the Arduino Pro IDE is far more active than the development of the Java IDE, and the Arduino Pro IDE is TypeScript (built on the Eclipse Theia IDE framework). I'm guessing that the Arduino IDE extensions are not compatible with Arduino Pro IDE.