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.

Sign up for GitHub

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

Jump to bottom

[terminal] Spawning terminals too quickly merges them together inside one panel #1733

Closed
paul-marechal opened this issue Apr 18, 2018 · 3 comments · Fixed by #12225
Closed

[terminal] Spawning terminals too quickly merges them together inside one panel #1733

paul-marechal opened this issue Apr 18, 2018 · 3 comments · Fixed by #12225
Labels
bug bugs found in the application help wanted issues meant to be picked up, require help terminal issues related to the terminal

Comments

@paul-marechal
Copy link
Member

paul-marechal commented Apr 18, 2018 •
edited
Loading

TThhiiss iiss wweeiirrdd.

echo_wat

(using spamming the ctrl + backtick shortcut)
@rv2e
Copy link

rv2e commented Nov 13, 2019

Recently, we've started to use Theia in my company and we also noticed this issue. Do you have an idea when you'll work on a fix and what is the underlying problem?

@paul-marechal
Copy link
Member Author

It has been a long time since I last encountered this bug. If it still happens, one would have to debug the terminal spawning and dig into how one xterm widget hooks itself to the remote terminals.

@akosyakov akosyakov added bug bugs found in the application help wanted issues meant to be picked up, require help terminal issues related to the terminal labels Nov 14, 2019
@FernandoAscencio
Copy link
Contributor

The bug is still present. With the change of keybinds now it happens with Ctrl+Shift+`
Issue1733

FernandoAscencio added a commit to FernandoAscencio/theia that referenced this issue Feb 24, 2023
@FernandoAscencio
terminal: Spawning Speed issue fix
3183a21 
This commit closed the issue eclipse-theia#1733.

Signed-off-by: FernandoAscencio <fernando.ascencio.cama@ericsson.com>
@FernandoAscencio FernandoAscencio mentioned this issue Feb 24, 2023
Merged
1 task
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug bugs found in the application help wanted issues meant to be picked up, require help terminal issues related to the terminal
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

terminal: Spawning Speed issue fix FernandoAscencio/theia
4 participants
@akosyakov @paul-marechal @rv2e @FernandoAscencio