FYI for anyone who is interested: I submitted a bug report for the broken state of the optionKeyDown message. See https://quality.livecode.com/show_bug.cgi?id=23688 Please follow if you are interested in seeing this fixed.