You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
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.
The text was updated successfully, but these errors were encountered: