The edit menu is empty but a right-click on the text area will bring up a menu with the usual editing controls.
Last edited: 03 November, 2020