https://sketchdev.blogspot.com/2018/03/optionsmenu-in-sketchware.html