I’m used to GNAT Studio but I haven’t found the autoformatter works very well with SPARK, compared to VS Code with the Ada extension, which to my taste does a better job.
Is there any setting for GNAT Studio to match the output of the formatter used by the Ada extension?
I believe they both use ALS and so Gnat Format with the latest release. I’m not in front of my laptop but there are relevent settings in preferences perhaps under ALS as well as one for syntax coloring via ALS which looks great with most or all of the color settings working but it does add a noticeable delay when pasting new code into a quite large file.
There are atleast some potentially relevant settings at
Preferences => Editor => Ada (Formatter for range formatting, Formatter on enter)
Preferences => LSP has a semantic highlighting which may have a performance hit but I like the use of lots more colors set in Preferences => Editor => Fonts & Colors