fix for keyboard entry of alt-symbols
fix #23382