Updated editor scripting interface.
Updated framework to stop using interfaces deprecated in JDK17.
Improved opening of input files.
Made sure getInt in Random doens't return negative values.
Added missing math classes.
Extended Encrypter interface to make key management easier.
Fixed issue with app exiting upon closing an alert in Wayland.
Fixed focus issue with curved editor window.