select() does not update CincoPropertiesView in postSelect
Summary
In CINCO v1.0, selecting a model element via the WorkbenchExtension.select(ModelElement)
from within a CincoPostSelectHook
fails to update the CincoPropertiesView.
Expected Behavior
The CincoPropertiesView shows the CincoProperties of the newly-selected model element.
Actual Behavior
The CincoPropertiesView shows the same content as prior to the select()
call.
Steps to Reproduce
- Create a new CincoProductProject with default settings
- Generate the product
- Open
info.scce.cinco.product.somegraph › model › SomeGraph.mgl
- Add a
postSelect
hook to the node typeSomeNode
and save - As implementation for this hook, use
someNode.someNodeSuccessors.findFirst[true]?.select
- Re-generate the product
- Run the product
- Create a new SomeGraphToolProject
- In this project, create a
SomeGraph
model - In this model, create two
SomeNode
s with labels A and B, respectively - Observe that selecting either
SomeNode
updates the CincoPropertiesView to show the correct label value - Connect the two
SomeNode
s with a newTransition
A → B - Select B
- Observe that the CincoPropertiesView shows the
label
value B - Select A
- Observe that, while the Editor renders the
SomeNode
B as selected, the CincoPropertiesView shows thelabel
value A
Edited by Richard Niland