- Play/pause becomes a rounded rectangle (58x46dp) instead of a 78dp circle,
with 32dp icons and wider spacing (play_w/play_h/play_gap in dimens.xml)
- Skip buttons shrink from 82x56dp to 62x42dp, with 16sp text
- Version 1.4 (versionCode 5); there was no public 1.3
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
- Translate the interface to Galician (tools/translate_gl.py), including
Galician month abbreviations for dates, which Android 2.3 lacks
- Resize for the Galaxy Mini's 240x320 screen: larger text, rows, tabs and
buttons; all sizes now live in res/values/dimens.xml
- Redraw play/pause/refresh icons for every density; slightly brighter
secondary text colours
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
- Bundle current root certificates (Let's Encrypt, GTS, Sectigo, DigiCert G2,
Amazon, ...) missing from Android 2.x's store (Roots.java, tools/gen_roots.py)
- Ask once for unknown certificates, showing the SHA-256 fingerprint, and
remember the answer; replaces "accept any certificate" (Trust*, Settings)
- Local streaming proxy so Android 2.x's MediaPlayer can play https:// servers,
with seeking and a fresh token per request (StreamProxy.java)
- Tests over real TLS with good, expired, wrong-host, forged and self-signed
certificates (test/make_pki.sh, TrustTest.java)
- README: server setup for a legacy TLS 1.0 port
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
