[ref_impl_eiffel] [431] AWB-14: Fix a precondition violation in set_focus when called from MAIN_WINDOW.suppress_tab_key_insertion.

Revision: 431
Author: peter.gummer

Log Message: