[DrJava] [ drjava-Feature Requests-612834 ] disabling compiler error highlighting

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

Feature Requests item #612834, was opened at 2002-09-22 09:27
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438938&aid=612834&group_id=44253

Category: Definitions (source editor)
Group: None
Status: Open
Priority: 5
Submitted By: Christopher Haynes (chaynes)
Assigned to: Nobody/Anonymous (nobody)
Summary: disabling compiler error highlighting

Initial Comment:
When the compiler output tab is not selected, compiler 
error highlighting should be disabled automatically.

I just realized this had been the cause of a good deal of 
confusion.

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

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