mirror of
https://github.com/koreader/koreader.git
synced 2025-08-10 00:52:38 +00:00
They'll be disabled again when the widget in question is dismissed. This exposes a couple of semi-obvious but edge-casey footguns to the user, but a hardened implementation is way uglier. See PR for details.