Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Isidorn/explorer model #29030

Merged
merged 30 commits into from
Jun 20, 2017
Merged

Isidorn/explorer model #29030

merged 30 commits into from
Jun 20, 2017

Conversation

isidorn
Copy link
Contributor

@isidorn isidorn commented Jun 19, 2017

Creating this PR since I believe this is in a decent usable state. Things that still need to be done which I plan to adress asap:

  • special context menu actions for root / empty area
  • fix issue that expansion state is not preserved for non-master roots
  • react when a root gets deleted undearneath
  • honor files.exclude for each of the roots (ask the configurations service for files.exclude)

@isidorn isidorn merged commit 4f33f59 into master Jun 20, 2017
@isidorn isidorn deleted the isidorn/explorerModel branch June 20, 2017 09:58
@isidorn isidorn mentioned this pull request Jun 21, 2017
3 tasks
@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
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants