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

Fix issue #5716: [Feature Request]: Add the button to jump to file ed… #5717

Closed
wants to merge 1 commit into from

Conversation

xingyaoww
Copy link
Collaborator

@xingyaoww xingyaoww commented Dec 20, 2024

…its view

End-user friendly description of the problem this fixes or functionality that this introduces

  • Include this change in the Release Notes. If checked, you must provide an end-user friendly description for your change below

Give a summary of what the PR does, explaining any non-trivial design decisions


Link of any specific issues this addresses

Fix #5716


To run this PR locally, use the following command:

docker run -it --rm   -p 3000:3000   -v /var/run/docker.sock:/var/run/docker.sock   --add-host host.docker.internal:host-gateway   -e SANDBOX_RUNTIME_CONTAINER_IMAGE=docker.all-hands.dev/all-hands-ai/runtime:814cc4f-nikolaik   --name openhands-app-814cc4f   docker.all-hands.dev/all-hands-ai/openhands:814cc4f

@mamoodi
Copy link
Collaborator

mamoodi commented Jan 6, 2025

Gentle ping for @xingyaoww in case this fell off the radar.

- Add JumpToFileButton component that reuses existing ActionTooltip
- Update ChatMessage to show file button when filePath is available
- Add filePath to Message type and set it in chat slice
- Add translations for the jump-to-file tooltip
@xingyaoww xingyaoww force-pushed the openhands-fix-issue-5716 branch from a0c1d5a to 814cc4f Compare January 17, 2025 21:28
@mamoodi
Copy link
Collaborator

mamoodi commented Feb 3, 2025

Going to close this. Likely something like this needs a designer review. Please reopen if I'm mistaken.

@mamoodi mamoodi closed this Feb 3, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

[Feature Request]: Add the button to jump to file edits view
3 participants