Issue #563 More flexible way of node renaming#817

Merged

zFernand0 merged 13 commits intomasterfrom feature/issue-563-new

Jun 26, 2020

+346-185

Commits on May 26, 2020

Restored initial PR logic. Fixed Unit Tests.
stepanzharychevbroadcom
committed

Commits on May 27, 2020

Added Workspace util which tracks when file save was finished. Added fixes for closing/saving files on renaming.
stepanzharychevbroadcom
committed
Merge branch 'master' into feature/issue-563-new
stepanzharychevbroadcom
authored

Commits on Jun 8, 2020

Merge branch 'master' into feature/issue-563-new
stepanzharychevbroadcom
committed

Commits on Jun 12, 2020

Commits on Jun 13, 2020