nbros/OcaIDE — pull request #1 by starocean (2012-04-23 11:59:09+00:00)
Title: Shift a block of source code to left, right

Hi Nicolas,

I would like to send you my commit for problem of using Tab, Shift+Tab to shift a block of source code to left, right.

In the old version, when I choose "insert spaces instead of tabs", then select a block of source code and press Tab, it still inserts tab characters instead of spaces. It's a bug and my commit can fix this problem.

I see, it also fix the bug: http://www.algo-prog.info/ocaide/forum/viewtopic.php?f=2&t=1721&sid=098e7962c72f14bd88e37f73b64c5b4d

Best regards,
Trung.