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.

Sign up for GitHub

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

Jump to bottom

[Filesystem] When a file tree node is cached, it's not possible to overwrite its name and icon #6747

Closed
federicobozzini opened this issue Dec 12, 2019 · 0 comments · Fixed by #6475
Closed

[Filesystem] When a file tree node is cached, it's not possible to overwrite its name and icon #6747

federicobozzini opened this issue Dec 12, 2019 · 0 comments · Fixed by #6475
Assignees
@akosyakov
Labels
filesystem issues related to the filesystem

Comments

@federicobozzini
Copy link
Contributor

Description

When a file tree node is cached (especially after a move operation), it's not possible to overwrite its name and icon.

Reproduction Steps

Reproducing the issue is not really straightforward.

My situation was a contribution for a new icon for files with some specific extension.

When a file with that extension is moved, the new icon might get lost and substituted by the default one.

OS and Theia version:

Ubuntu 18.04, Theia master branch

Diagnostics:
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@akosyakov akosyakov

Labels
filesystem issues related to the filesystem
Projects
None yet
Milestone
No milestone
2 participants
@akosyakov @federicobozzini