Skip to content

Various keys escape the terminal #136

Closed

Description

@jmmv

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.

Activity

  1. added
    bugSomething isn't working
    on Nov 10, 2021
  2. added 3 commits that reference this issue on Dec 3, 2021
    93e3bff
    816f64b
    04dd5e7
  3. jmmv commented on Dec 8, 2021

    @jmmv
    CollaboratorAuthor

    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.

  4. changed the title [-]Tab key causes the terminal to lose focus on the web[/-] [+]Various keys escape the terminal[/+] on Dec 8, 2021
  5. added 4 commits that reference this issue on Dec 8, 2021
    c4d1e7d
    bac9ced
    e6cb33f
    4c5e74c
  6. added a commit that references this issue on Dec 9, 2021
    29f4bed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugSomething isn't working

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions