Created the option to choose whether blank lines will receive indentation when indenting lines forward. Defaults to true (currently functionality).
| Submitted | meoblast001 - 2013-08-03 15:55:04 | Assigned | |
|---|---|---|---|
| Priority | 5 | Labels | general |
| Status | pending | Group | None |
| Resolution | None |
| 2013-08-03 15:55:05 meoblast001 |
indent_blank_lines.patch (5.9Kio) |
|---|---|
| 2013-08-04 13:55:37 vampire0 |
- **assigned_to**: vampire0 --> nobody |
| 2013-11-26 19:45:25 *anonymous |
Hi. Thanks for the patch, but I don't understand what this does. Can you provide a user case (step by step) that shows the difference between the two states (the option is turned on / off)? |
| 2013-11-26 19:46:09 *anonymous |
- **status**: open --> pending |
| 2016-03-30 17:12:52.649000 lundril |
Not sure if this is the right place to post this, but the jedit developer page says:
auto_indent_change.patch (1.1Kio) |