[ jEdit-devel ] [ jedit-Feature Requests-3431312 ] switchable autoindentation

[SourceForge.net <no...@so...>]

Feature Requests item #3431312, was opened at 2011-10-31 20:00
Message generated for change (Tracker Item Submitted) made by jarekczek
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=350588&aid=3431312&group_id=588

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: core
Group: None
Status: Open
Resolution: None
Priority: 5
Private: No
Submitted By: Jarek Czekalski (jarekczek)
Assigned to: Nobody/Anonymous (nobody)
Summary: switchable autoindentation

Initial Comment:
A check box "Auto indentation" would be handy to temporarily switch off auto indentation, for corrections
of some strange lines. It could be accessible in the status bar.

It would also solve problems of unwanted indentation implicated by edit modes.

Where should it go? I think as a buffer option.

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=350588&aid=3431312&group_id=588