A new version 1.10 has been posted on Google Play, and I hope it improves the user interface:
- dialog box when execution completes with possibility to return to the editor
- case insensitive extensions .pas, .p and .pp are allowed as source file
- all file are editables, e.g. *.inc.
- files sorted