Fix the debugging console no longer working after using F1, F2 or F3.
Merge branch 'v1.7'