v5.87.42

• New setting: hide Haven's bottom tab bar on the terminal screen, leaving the Android status and navigation bars visible (#521 — thanks a8645322)

• The terminal screen can now shed the app's own tab bar (#521). The existing fullscreen toggle bundled two decisions — hide Haven's chrome and hide Android's chrome — that have no business being the same switch: wanting the clock and notifications while working in a terminal is entirely reasonable. The new toggle (Settings → Terminal → "Hide app tab bar in terminal", off by default) hides only Haven's bottom tab bar while the terminal screen is selected. The swipe gestures that switch screens keep working, the bar returns as soon as the pager settles anywhere else, and the ≥600dp side rail is unaffected. Translated into all 11 shipped locales. Not yet exercised on a device; the reporter's retest is the closing verification.

---

Which APK?

haven-<version>-<abi>-release.apk — the full app, and what F-Droid
carries. If in doubt, take this one.

haven-<version>-<abi>-terminal-release.apk — the same app with the
desktop and media parts left out, for people who only use Haven for SSH,
terminals, files and storage. Less than half the size on arm64. It drops
RDP and SPICE remote desktop, the native Wayland desktop, and ffmpeg — so
no media conversion, and no video previews or streaming in the file
browser. VNC is kept, so a Linux desktop running inside Haven's guest
still works.

Both are signed with the same key and carry the same version number, so
you can install either over the other without losing connections, keys or
your Linux guest. The shared version number does mean an updater will not
offer to move you between them — switching is a deliberate download.

<abi> is your device's CPU: arm64 for essentially every modern phone,
armv7 for older 32-bit devices, x64 for emulators.

Full Changelog: v5.87.41...v5.87.42