[ jEdit-devel ] [ jedit-Bugs-709542 ] Tab width and indent width not saved after change

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

Bugs item #709542, was opened at 2003-03-25 09:18
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=709542&group_id=588

Category: text area and syntax packages
Group: normal bug
Status: Open
Resolution: None
Priority: 5
Submitted By: Nobody/Anonymous (nobody)
Assigned to: Nobody/Anonymous (nobody)
Summary: Tab width and indent width not saved after change

Initial Comment:
The tab width and indent width are not saved after change. 
Further, the changes are not applied to the editor. I work on two
projects, one has a coding standard that requires tab width
of 3 spaces, the other requires 4. Changing via Utilites-Global Options-
jEdit-Editing has no effect, nor are the changes saved in
${user.home}/.jedit/properties. Editing ${user.home}/.jedit/properties
by hand is the only work-around I've found, and is required each
time I change projects.

This problem is apparent in both "java" and "xml" editing modes.

Dale Anson



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

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