This has been solved with a few PMs. In case anyone else is having the same problem:
The solution was to put "English (US)" as the first input source in the system settings: Open the keyboard settings (open system settings, then go to the "Keyboard" tab). Move "English (US)" to the top of the list. If "English (US)" is missing, please add it and move it to the top. Then restart FLEx. It is still possible to select and work with other keyboards, but just having the English (US) keyboard as the first one in the list makes the difference.
Eberhard
--
"FLEx list" messages are public. Only members can post.
flex_d...@sil.org
http://groups.google.com/group/flex-list.
---
You received this message because you are subscribed to the Google Groups "FLEx list" group.
To unsubscribe from this group and stop receiving emails from it, send an email to flex-list+...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/flex-list/CAKh5dYSTs5oZ9w2Sbg6pspO3kMA6tCMkvPjnfFF0cX2T6qrJrw%40mail.gmail.com.