After renaming a file, the directory listing at the left is not being updated, nor is the current file editor being "redirected" to the new file.
The first part of the bug is a regression due to the new directory list caching mecanism. (Forgot to invalidate) The second part actually never got implemented.
Thanks to @massimiliano-giroldi for reporting this.
After renaming a file, the directory listing at the left is not being updated, nor is the current file editor being "redirected" to the new file.
The first part of the bug is a regression due to the new directory list caching mecanism. (Forgot to invalidate) The second part actually never got implemented.
Thanks to @massimiliano-giroldi for reporting this.