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

Lost focus when both doc panel and source code panels are open #10471

Closed
jdunkerley opened this issue Jul 8, 2024 · 4 comments · Fixed by #10558
Closed

Lost focus when both doc panel and source code panels are open #10471

jdunkerley opened this issue Jul 8, 2024 · 4 comments · Fixed by #10558
Assignees
Labels
--bug Type: bug -gui

Comments

@jdunkerley
Copy link
Member

If I edit source code while doc panel is open, every keystroke in the doc panel causes focus to revert to the doc panel, and new keystrokes are placed at the bottom of the doc panel.

https://drive.google.com/file/d/19RturKl8gykJitfPnkQnD0Rcp8iR5KRc/view?usp=drive_link

@jdunkerley jdunkerley added --bug Type: bug -gui labels Jul 8, 2024
@jdunkerley jdunkerley added this to the 2024-07 Release milestone Jul 8, 2024
@jdunkerley
Copy link
Member Author

Add a doc comment.
Then editing in the code editor does not appear to make doc comment get updated.

@kazcw
Copy link
Contributor

kazcw commented Jul 8, 2024

This is a regression so we should be sure to add an e2e test for this case.

@enso-bot
Copy link

enso-bot bot commented Jul 12, 2024

Ilya Bogdanov reports a new STANDUP for yesterday (2024-07-11):

Progress: Found the solution for the issue and implemented it. Starting implementing e2e regression test for it. It is complicated because we never tested codemirror before. It should be finished by 2024-07-15.

@enso-bot
Copy link

enso-bot bot commented Jul 12, 2024

Ilya Bogdanov reports a new STANDUP for today (2024-07-12):

Progress: Implementing tests API for code editor, observing weird behavior of selection. It should be finished by 2024-07-15.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
--bug Type: bug -gui
4 participants