1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-03-26 13:35:12 +01:00
David A. Mellis 07903b8585 Use new IncreaseIndentAction for Edit > Increase Indent.
This simplifies the code a bit and fixes a small bug that would cause the cursor to fail to move with the text being indented.
2015-12-21 16:42:40 -08:00
..
2015-06-25 12:47:38 +02:00
2015-12-21 15:19:22 +01:00