For details see here: https://www.klayout.de/forum/discussion/2232/editor-options-f3-not-showing-in-all-0-28-xxx-builds#latest
