The `Options` menu in the workspace above is added...
# tornadofx
e
The
Options
menu in the workspace above is added like this: