From: "Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>
Subject: Re: Two miscellaneous questions about GPS : Ada indentation and then SPARK integration
Date: Tue, 01 Jun 2010 12:01:23 +0200
Date: 2010-06-01T12:01:23+02:00 [thread overview]
Message-ID: <op.vdl8slcbule2fv@garhos> (raw)
In-Reply-To: 20100601102607.4a9d140d@senier-offen
Le Tue, 01 Jun 2010 10:26:07 +0200, Alexander Senier <mail@senier.net> a
écrit:
Hi Alex,
> 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.
Confirmed, it works (on GPS 4.3.1)
I was lucky you were there, otherwise I would not have though to look in
Edit -> Key Shortcuts.
Have a sweet day!
--
There is even better than a pragma Assert: a SPARK --# check.
--# check C and WhoKnowWhat and YouKnowWho;
--# assert Ada;
-- i.e. forget about previous premises which leads to conclusion
-- and start with new conclusion as premise.
next prev parent reply other threads:[~2010-06-01 10:01 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-06-01 7:20 Two miscellaneous questions about GPS : Ada indentation and then SPARK integration Yannick Duchêne (Hibou57)
2010-06-01 8:26 ` Alexander Senier
2010-06-01 10:01 ` Yannick Duchêne (Hibou57) [this message]
2010-06-02 8:55 ` Yannick Duchêne (Hibou57)
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox