Two miscellaneous questions about GPS : Ada indentation and then SPARK integration

["Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>]

Hillo,

I oftenly don't use GPS (I use a markup driven outlining editor instead),  
so I'm not a GPS guru.

I have an expected behavior with the editor : in the configuration, Edit  
-> Preferences -> Editor -> Ada, I have disabled the check box “Use  
tabulations”, to not have tab characters and just spaces. For  
“continuation lines”, “Record indentations”, “Conditional continuation  
lines” and “Default indentation”, I have set 3 spaces, for all.

Despite of that, when I hit the tab key, the editor still input a  
tabulation characters, moreover, this tabulation is 8 characters wide.

The three spaces (with no tab characters), only occurs when the editor do  
automatic indent.

Did I miss something in the configuration or is this the expected behavior  
?

The second question, is related to SPARK integration (I came back to GPS  
for SPARK, which is more handy than from the command line) : when I do  
SPARK -> POGS, a summary file is opened in GPS (OK). If then I do SPARK ->  
Examine File, then SPARK complains it cannot find my index file, although  
the configuration specifies the good file name. It only occurs after an  
invokation of POGS. If I close GPS then re-open it, the Examine File  
command works as expected (as it does all the time, if no POGS command was  
executed before).

Is it a known issue ? Should I submit a report for that or not ? (I will  
look at the files used for SPARK integration into GPS, to see if i can  
correct it)

Have a nice day