Skip to content

Fire onDidChangeReplElements directly from ReplModel#81392

Merged
isidorn merged 1 commit intomicrosoft:masterfrom
dgozman:on-did-change-repl-elements
Sep 26, 2019
Merged

Fire onDidChangeReplElements directly from ReplModel#81392
isidorn merged 1 commit intomicrosoft:masterfrom
dgozman:on-did-change-repl-elements

Conversation

@dgozman
Copy link
Contributor

@dgozman dgozman commented Sep 24, 2019

This way debug sessions sharing a single repl will all be notified about new repl elements and UI will be updated.

@isidorn Please take a look. This is a part of #81196 which makes sense by itself.

@isidorn
Copy link
Collaborator

isidorn commented Sep 25, 2019

This is a good change. Can you please just resolve the conflict with the master branch and than I will merge this in? Thanks!

@isidorn isidorn added this to the September 2019 milestone Sep 25, 2019
@isidorn isidorn added the debug Debug viewlet, configurations, breakpoints, adapter issues label Sep 25, 2019
This way debug sessions sharing a single repl will all be notified about new
repl elements and UI will be updated.
@dgozman dgozman force-pushed the on-did-change-repl-elements branch from 3f02f13 to 6c1cebb Compare September 25, 2019 19:53
@dgozman
Copy link
Contributor Author

dgozman commented Sep 25, 2019

Rebased on top of master.

@isidorn
Copy link
Collaborator

isidorn commented Sep 26, 2019

Reveiwed again, looks great. Like how we now fire from a small number of places and it seems to cover all the cases as far as I could tell.

Thanks again for this PR

@isidorn isidorn merged commit b0d714d into microsoft:master Sep 26, 2019
@github-actions github-actions bot locked and limited conversation to collaborators Mar 27, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

debug Debug viewlet, configurations, breakpoints, adapter issues

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants