Skip to content
This repository has been archived by the owner on Oct 31, 2021. It is now read-only.

Server #1435

Open
wants to merge 5 commits into
base: master
Choose a base branch
from

Conversation

vasily-kirichenko
Copy link
Contributor

WIP

Please review and discuss.

/// A new project loaded or a known project changed in any way (name, file list, references, etc.)
| ProjectLoaded of Project
/// Previously loaded project was unloaded from IDE or deleted from disk so it should not be part of solution anymore.
| ProjectUnloaded

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

ProjectUnloaded should contain some data saying which project to unload. I guess path would be enough

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants