So I was trying to answer a question, then out of habit, I pressed Shift tab to 'deindent' some code. Of course this doesn't work in the editor, but what happened is that aparently the search in the headerbar suddenly gained focus and started to grow.
I honestly would have expected that a shift tab 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 to bug.