Eclipse plugin: "Show errors as warning" unchecked is not followed

lovubuntu / checker-framework

Automatically exported from code.google.com/p/checker-framework

0 stars 0 forks source link

Eclipse plugin: "Show errors as warning" unchecked is not followed #304

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago

Hi,

Even if I uncheck "Show errors as warning" in the global options of the checker 
framework, errors are still shown as warnings in the Eclipse editors.

I was expecting them to be shown as error instead

Even thought I suspect that this parameter is meant to be only understood by 
the checker framework and not the eclipse plugin, the preference page is 
unclear about that.

Original issue reported on code.google.com by victor.n...@gmail.com on 24 Mar 2014 at 10:47

GoogleCodeExporter commented 9 years ago

I agree.  I think the correct behavior should be to report them as errors in 
the editor if possible rather than showing them as errors only in the console.

Original comment by Jonathan...@gmail.com on 25 Mar 2014 at 6:06

Changed state: Accepted

GoogleCodeExporter commented 9 years ago

Original comment by Jonathan...@gmail.com on 25 Mar 2014 at 6:07

GoogleCodeExporter commented 9 years ago

Original comment by michael.ernst@gmail.com on 15 Apr 2014 at 6:52

Added labels: Eclipse

GoogleCodeExporter commented 9 years ago

Original comment by Jonathan...@gmail.com on 16 Apr 2014 at 4:20

Changed state: Pushed

GoogleCodeExporter commented 9 years ago

Original comment by jtha...@cs.washington.edu on 2 May 2014 at 1:11

Changed state: Fixed