I was trying to answer a question, and then out of habit, I pressed <kbd>Shift</kbd> + <kbd>Tab</kbd> to 'deindent' some code. Of course this doesn't work in the editor, but what happened is that apparently the search in the headerbar suddenly gained focus and started to grow. I honestly would have expected that a <kbd>Shift</kbd> + <kbd>Tab</kbd> in the editor would result in either deindenting of the text, or if using tab indexes that one of the toolbar buttons (undo/redo) would gain focus. This happened in Chrome 62.0.3202.94 on Windows 7 Professional. Is this a bug or a feature request? I'm not sure, but I'm leaning towards a bug.