Community
Participate
Working Groups
- 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.
Created attachment 168535 [details] patch This patch refreshes the editor when markers change on the resource.
Hi Nicolas, You can go ahead with this patch. Best regards, Hugo
Thanks. I have applied the patch to branch 0_8_0.
The patch has been successfully applied.