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.