Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

Bug 312618

Summary:

error decorators disappear during clean

Product:

[Modeling] MoDisco

Reporter:

Nicolas Bros <nicolas.bros>

Component:

Infrastructure

Assignee:

Nicolas Bros <nicolas.bros>

Status:

CLOSED FIXED

QA Contact:

Severity:

normal

Priority:

CC:

gdupe, hugo.bruneliere, modisco.web-inbox

Version:

0.8.0

Flags:

nicolas.bros: helios+
hugo.bruneliere: review+

Target Milestone:

0.8.0

Hardware:

All

OS:

All

Whiteboard:

Attachments:

Description	Flags
patch	none

Description Nicolas Bros

2010-05-12 09:38:04 EDT

- open a FacetSet
- introduce an error
- do Project > Clean...
- the error decorators disappear in the editor, even though the error is still there

The markers reappear when mousing over the elements. So, this is a refresh problem.

Comment 1 Nicolas Bros

2010-05-14 09:30:11 EDT

Created attachment 168535 [details]
patch

This patch refreshes the editor when markers change on the resource.

Comment 2 Hugo Bruneliere

2010-05-17 04:25:11 EDT

Hi Nicolas,

You can go ahead with this patch.

Best regards,

Hugo

Comment 3 Nicolas Bros

2010-05-17 04:49:12 EDT

Thanks. I have applied the patch to branch 0_8_0.

Comment 4 Hugo Bruneliere

2010-10-04 13:00:38 EDT

The patch has been successfully applied.