Skip to content

2046 port rename#2070

Merged
joeseibel merged 4 commits intomasterfrom
2046_port_rename
Nov 22, 2019
Merged

2046 port rename#2070
joeseibel merged 4 commits intomasterfrom
2046_port_rename

Conversation

@lwrage
Copy link
Copy Markdown
Contributor

@lwrage lwrage commented Nov 21, 2019

fixes #2046

joeseibel and others added 2 commits November 18, 2019 12:46
This fixes rename refactoring in connection ends and fixes content
assist as much as possible goven the current data structure.
@lwrage lwrage requested a review from joeseibel November 21, 2019 20:57
@joeseibel joeseibel merged commit 570d034 into master Nov 22, 2019
@joeseibel joeseibel deleted the 2046_port_rename branch November 22, 2019 22:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

When renaming a port references in a connection declaration are not renamed

2 participants