[gps-users] Alias for subprogram headers

Arnaud Charlet charlet at adacore.com
Thu Dec 30 14:48:29 CET 2004


> If this is not possible, how do you do to create these boxes? I find 
> annoying to have to type them by hand. Any suggestion much appreciated.

This is possible via python, and is already done with GPS 2.1, see
Edit->Key Shortcuts... General->Subprogram Box.

Arno


More information about the gps-users mailing list