closed #3808: EditBox on Mac works again.