Re: Indent / unindent block ?

Indeed, I was thinking to something more basic than rectangular selections, 
just like Comment / Uncomment (also in edit menu, Ctrl+..., context menu): a 
way shift left or right the lines of selection or the line where the cursor 
is (no selection). More "algorithmically", insert n spaces on the left of 
each the line of the selection, and, reversely, to remove n but only if each 
line has (still) n spaces on its left or is blank (n=indentation spaces).
You have something like that in plenty of editors...
Maybe a "nice to have" (independently of other plug-ins) ?
Gautier

----Original Message Follows----
Date: Thu, 13 Sep 2007 17:38:58 +0200

On Thursday 13 September 2007 17:28:09 Gautier de Montmollin wrote:
 > Being relatively new to GPS, first: I'm impressed by the 2007 GLP edition
 > for MS Windows, it is very stable and useful (never crashed, unlike
 > previous versions which hanged pretty quickly).

Thanks

 > A little question: is there a way to indent or unindent a block (selected
 > text) ?
 > This is a nice functionality of AdaGIDE I'm missing with GPS... unless I
 > overlooked something ?

That is doable through the "rectangles" plug-in, which you activate
through /Tools/Plug-Ins.
Then you have a menu /Edit/Rectangles, where you can use "Open".

If you are talking about automatic indentation, this is of course available
just by pressing your auto-indent key when the block is selected.

I thought I had done a similar python script for any text, but can't find 
it.
This is of course not too difficult to write, maybe you would like to have a
shot at it ?

regards
Emmanuel

_________________________________________________________________
Can you find the hidden words?  Take a break and play Seekadoo! 
http://club.live.com/seekadoo.aspx?icid=seek_hotmailtextlink1

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