VSCode Extension - Custom Editor File Rename functionality - Theia Browser #15486
Unanswered
jmenzies12
asked this question in
General
Replies: 1 comment
-
|
Hey @jmenzies12, Likely an inconsistency. Can you create a bug report for this? |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Hey there,
When you rename the file linked to an open custom editor tab, the custom editor tab is marked as deleted "tab name (deleted)" . However if you close the browser tab without closing the Theia tabs, when you reopen Theia, the custom editor tab will still be there with the old name without the deleted tag.
In VSCode custom editors who's files are renamed, are closed upon rename. Is it possible we are doing something wrong on our end, or is this an inconsistency between Theia and VSCode?
Kind Regards
Jonathan
Beta Was this translation helpful? Give feedback.
All reactions