mirror of
https://github.com/koreader/koreader.git
synced 2025-08-10 00:52:38 +00:00
Doing more of this is the general purpose of MenuSorter, after all. This is making some space for a new `Taps and gestures` menu, see <https://github.com/koreader/koreader/pull/4655#issuecomment-466808273>.