[ jEdit-devel ] [ jedit-Plugin Patches-3433672 ] WhiteSpace patch for #3038126, confusing interface

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

Plugin Patches item #3433672, was opened at 2011-11-04 14:07
Message generated for change (Tracker Item Submitted) made by jarekczek
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=997937&aid=3433672&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: None
Group: None
Status: Open
Resolution: None
Priority: 5
Private: No
Submitted By: Jarek Czekalski (jarekczek)
Assigned to: Nobody/Anonymous (nobody)
Summary: WhiteSpace patch for #3038126, confusing interface

Initial Comment:
I present an option pane for WhiteSpace buffer options. It's placed as the first menu item for this plugin. It's self-explanating and users will stop posting bugs "WhiteSpace not working" :)

I think the old commands may stay as they are, maybe someone likes them. If one wants to switch just one feature, they are faster.

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

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