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) |