Node names do not change until the editor panel is clicked

Bug #1343256 reported by Danil Sokolov
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
Workcraft
Fix Committed
Low
Danil Sokolov

Bug Description

To reproduce create a Petri net and do the following:
- Add a place node p0
- Change its name to p1

Observed behaviour:
- The visible name stays p0 until you click the editor panel

Expected behaviour:
- The visible name should change immediately after the property is modified.

Tags: ui

Related branches

Changed in workcraft:
importance: Undecided → Low
status: New → Triaged
milestone: none → 3.0
Changed in workcraft:
status: Triaged → Fix Committed
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.