Re: Indent / unindent block ?

"Gautier de Montmollin" <[email protected]> Thu, 13 Sep 2007 19:55:58 +0000

Newsgroups	gmane.comp.ide.gps.user
Message-ID	<[email protected]>

# > A little question: is there a way to indent or unindent a block 
(selected
# > text) ?

# You can automatically indent/reformat a block intelligently by using 
Ctrl-Tab.
# Arno

Thanks - it is just a bit too intelligent sometimes :-) .
What Emmanuel describes resembles more to what I'm looking for.

Cheers
Gautier

_________________________________________________________________
Get a FREE small business Web site and more from Microsoft® Office Live! 
http://clk.atdmt.com/MRT/go/aub0930003811mrt/direct/01/

_______________________________________________
gps-users mailing list
[email protected]
http://lists.adacore.com/mailman/listinfo/gps-users