Description:
The label doesn't update to reflect the new name when a Role is renamed under Schema Privileges in the MySQL Model editor.
How to repeat:
1) Create new EER Model
2) Open Schema Privileges
3) Add Role
4) Change name of role either by slowly clicking the name of the role two times or by changing the Name field in the role editor interface.
The name of the role will still be "role1" in the main interface. If you double-click (or right-click and select Edit Role...) to open the role editor, you will see the new name, but the main list of objects won't be updated until the entire model is closed and re-opened.
Additionally, if the name of the role is edited in the object list interface while the role is open in the role editor, the "Name" field of the role editor will be updated immediately, but the name listed in the tab of the role editor won't be updated until the tab is re-opened. The name of the role as shown in the object list interface won't be updated until the entire model is closed or re-opened.
Suggested fix:
The name should be updated in all parts of the interface simultaneously, as is done for other types of objects.
