-
Notifications
You must be signed in to change notification settings - Fork 5k
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
[Bug]: Just clicking and browsing Workspace files cause them to have the "edited dot" next the file name #4808
Comments
Maybe @amanape has an idea why that happens? |
Huh... interesting that you are seeing this while nothing is running. |
The easiest way to reproduce this is to make a fully empty |
@enyst @mamoodi I think there's a race condition with the fetch for the new file, because what I see after adding logging is:
|
@diwu-sf Nobody has taken on the issue yet, sorry! I'll give it a good look on Monday but can't make any promises. |
Bump, this is a pretty severe bug that's still reproducible on main. |
This is fixed in main because the UI no longer allows you to edit files. |
Fixed in 0.18.0. |
Is there an existing issue for the same bug?
Describe the bug and reproduction steps
On latest main commit 2b3fd94
In the UI, load up the workspace and just click around the files will cause them to have the "edited dot".
OpenHands Installation
Docker command in README
OpenHands Version
No response
Operating System
None
Logs, Errors, Screenshots, and Additional Context
No response
The text was updated successfully, but these errors were encountered: