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

[navigator] improve revealNode #2152

Open
paul-marechal opened this issue Jun 21, 2018 · 0 comments
Open

[navigator] improve revealNode #2152

paul-marechal opened this issue Jun 21, 2018 · 0 comments
Labels
navigator issues related to the navigator/explorer tree issues related to the tree (ex: tree widget)

Comments

@paul-marechal
Copy link
Member

paul-marechal commented Jun 21, 2018

From #2122 (comment) by @akosyakov

The file navigator is not capable to reveal anything except the file URI. It is based on Navigatable.getTargetUri. Right now it is implemented by the monaco editor. It seems that it should be actually implemented by Resource and the monaco editor should delegate to the monaco model and then down to the resource.

The reveal node should be able to handle more uri schemes, such as user_storage:* which is kind of an alias for file:~/.theia/*.

@vince-fugnitto vince-fugnitto added navigator issues related to the navigator/explorer tree issues related to the tree (ex: tree widget) labels Nov 22, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
navigator issues related to the navigator/explorer tree issues related to the tree (ex: tree widget)
Projects
None yet
Development

No branches or pull requests

2 participants