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
|