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

[Alexander Senier <mail@senier.net>]

On Tue, 01 Jun 2010 09:20:45 +0200
Yannick Duchêne (Hibou57) <yannick_duchene@yahoo.fr> wrote:

> 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 ?

To get the desired behavior, you have to assign the tab key to the
"Editor -> Insert Tab With Spaces" action in the key shortcuts
dialog (Edit -> Key Shortcuts). At least in GPS 4.4.1 this substitutes
tabs by spaces also on manual indentations.

HTH
Alex