[DrJava] [ drjava-Bugs-3582840 ] Tab button not working to indent, erratic auto-indent

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

Bugs item #3582840, was opened at 2012-11-03 08:48
Message generated for change (Tracker Item Submitted) made by jamesk1991
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=3582840&group_id=44253

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: User interface
Group: 2: Annoying
Status: Open
Resolution: None
Priority: 5
Private: No
Submitted By: jamesk (jamesk1991)
Assigned to: Nobody/Anonymous (nobody)
Summary: Tab button not working to indent, erratic auto-indent

Initial Comment:
The tab button no longer sets indentation - when the tab button is pressed, the cursor changes very quickly to a black arrow with a blue spin-wheel below it. ( see blue cursor on following image: http://tobiasahlin.com/wp-content/uploads/theCursors.jpg).

Also, when typing code, sometimes when pressing enter, the same indentation level is not maintained - it skips further in, not at level on previous line.

This is using the Mac OSX version of DrJava in Mountain Lion, although I have also tried the generic .jar version of DrJava, and the same problem exists. 

I've tried removing and redownloading DrJava but it hasn't helped. Have I got a dodgy preference file somewhere??
Would really appreciate a fix!! I love DrJava!

Thanks!

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

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=3582840&group_id=44253