[gps-users] Indent / unindent block ?

Arnaud Charlet charlet at adacore.com
Thu Sep 13 17:32:00 CEST 2007


> 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


More information about the gps-users mailing list