Skip to content

Isidorn/explorer model#29030

Merged
isidorn merged 30 commits intomasterfrom
isidorn/explorerModel
Jun 20, 2017
Merged

Isidorn/explorer model#29030
isidorn merged 30 commits intomasterfrom
isidorn/explorerModel

Conversation

@isidorn
Copy link
Collaborator

@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.

3 participants