After the fix for #3035, pressing a key before the automatic indentation occurs results in the line not being indented at all. The previous problem of keystrokes being reordered is resolved, but now the indentation simply fails if input happens too quickly.