You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Pressing the Tab key when inside the web interface causes the terminal to lose focus, as the input focus moves to the next element in the DOM. This is annoying when within the editor because Tab can be used for indentation.
I tried a simple fix to call terminal.focus() on key up/down events but that did not fix the problem, so filing this bug instead to track this issue.
Similarly, turning on Caret browsing, or simply pressing the / key on Firefox cause the browser to interpret key presses that it should not be seeing. The root cause of the problem seems to be the same as the one behind the Tab key mishandling.
Activity
format + fix endbasic#136
Revert "format + fix endbasic#136"
fix endbasic#136
jmmv commentedon Dec 8, 2021
Similarly, turning on Caret browsing, or simply pressing the / key on Firefox cause the browser to interpret key presses that it should not be seeing. The root cause of the problem seems to be the same as the one behind the Tab key mishandling.
[-]Tab key causes the terminal to lose focus on the web[/-][+]Various keys escape the terminal[/+]Fix handling of keys that are browser shortcuts
Fix handling of keys that are browser shortcuts
Fix handling of keys that are browser shortcuts
Fix handling of keys that are browser shortcuts
Fix handling of keys that are browser shortcuts