Re: Android port

[Angelo Graziosi]

> Il 22/02/2023 15:11 Po Lu ha scritto:
> 

> Angelo, Simon, Jonathan: the Options menu and text conversion issues
> should now be fixed on the branch.  I've uploaded a new prebuilt to
> SourceForge as well, at the same URL as the old one.

Yes, Options is fixed. Thanks.

Just for completeness, now when I press the DELETE key (on keyboard) in the 
minibuffer shows up this:

<KEYCODE_FOWARD_DEL> is undefined