eclipse-sirius / sirius-desktop

Sirius Desktop: desktop-based graphical modelers for dedicated DSLs
https://eclipse.dev/sirius/
Eclipse Public License 2.0
15 stars 11 forks source link

Decoration tooltip is not refreshed or purge when the diagram is refreshed #424

Open peransin-obeo opened 5 months ago

peransin-obeo commented 5 months ago

When the tooltip of a decoration is evaluated on MouseHover event, the result is stored in the cache of the figure.

See https://github.com/eclipse-sirius/sirius-desktop/blob/275f886e7174271159b12ef362bfdb2669ba8915/plugins/org.eclipse.sirius.diagram.ui/src-diag/org/eclipse/sirius/diagram/ui/tools/internal/decoration/SiriusGenericDecorator.java#L695

When the diagram is refreshed on a semantic change, this cache is not purged. The tooltip will display an old value until the diagram is closed or the view impacted by a change.

Tested on Sirius 7.1.0.