Editor UI: vertical space too large, overlaps with status icons

[X] This is a bug. Not a question or feature request.
[X] The topic is not already reported at Issues. (I've searched it).
[X] Markor is up to date. See Releases for the latest version. Updates are available from F-Droid and GitHub.
[X] The bug is still present in the latest development version (git master). (Please download and try the test version of Markor, named Marder. Don't worry; Markor and Marder appear as completely separate applications. You can install both side-by-side, and Markor settings are not touched. In case the issue is resolved there, you don't need to create a bug report. The change will be part of the next Markor update.)

screenshot of the editor UI

When editing a text, the top buttons are too high and the bottom buttons are too low

This does not happen on any other app, I tested Jerboa, Grayjay, Signal, Fedilab, Amethyst, OSMAnd~, Firefox, Openkeychain, Obtainium, ...

Those should cover most of the Android GUI libraries (Android View, XML, Jetpack Compose, Flutter)

I tested this with the debug APK.

Android version: 15 (GrapheneOS alpha version) Device: Pixel 6a bluejay App Version: 2.12.5-2359 and latest stable

GitHub Releases

Not specific

Not yet

gsantner / markor