search

Frege / eclipse-plugin

The eclipse plugin for frege, codename fregIDE
31 stars 6 forks source link

Compile errors don't show up in "Problems" view. #8

Closed muhuk closed 9 years ago

muhuk commented 9 years ago

screenshot18

(Couldn't capture the tooltip, but it is shown.)

Eclipse version: Luna Service Release 1a (4.4.1) (Build id: 20150109-0600)

Plugin version: Frege Development 3.22.335.201501171835

muhuk commented 9 years ago

Fantastic. Clean & rebuild seems to fix it.

Eclipse... :/

Ingo60 commented 9 years ago

For an explanation: the problem view is only populated when a file is actually compiled (rather than just briefly examined while you type). In "Build Automatically" mode a file gets normally compiled only after you changed something and saved (Ctrl+S).

The state you were in can be reached by quitting Eclipse without having corrected all the errors. This way the Problems View gets cleared, and when you reopen, you have an unchanged file with errors that are not shown in the problem view.

You can force compilation of the active file anytime with the "Compile" button. This way, the builder is forcibly triggered by the workbench.

Or, of course, with project rebuild as you already found, which is ok for small projects with a handful of files.