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.