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.

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]: Refresh doesn't update the file you have selected. You must click on it again #4968

Closed
1 task done
mamoodi opened this issue Nov 13, 2024 · 2 comments
Closed
1 task done
Labels
bug Something isn't working severity:low Minor issues or affecting single user Stale Inactive for 30 days

Comments

@mamoodi
Copy link
Collaborator

mamoodi commented Nov 13, 2024

Is there an existing issue for the same bug?

  • I have checked the existing issues.

Describe the bug and reproduction steps

Not sure if this is a bug or enhancement.

I have a file in my workspace, and in my workspace I have it selected and it's showing the content of the file.
I ask the agent to modify the file.
Once the agent is finished the work, I press the refresh button on the workspace.
This does not refresh the contents of the file. I need to click on the file again which feels strange.

Upon refresh, even the selected file should update the content IMO.
Minor annoyance.

OpenHands Installation

Docker command in README

OpenHands Version

0.13.1

Operating System

None

Logs, Errors, Screenshots, and Additional Context

No response

@mamoodi mamoodi added bug Something isn't working severity:low Minor issues or affecting single user labels Nov 13, 2024
Copy link
Contributor

This issue is stale because it has been open for 30 days with no activity. Remove stale label or comment or this will be closed in 7 days.

@github-actions github-actions bot added the Stale Inactive for 30 days label Dec 14, 2024
@mamoodi
Copy link
Collaborator Author

mamoodi commented Dec 14, 2024

This is resolved now.

@mamoodi mamoodi closed this as completed Dec 14, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working severity:low Minor issues or affecting single user Stale Inactive for 30 days
Projects
None yet
Development

No branches or pull requests

1 participant