mirror of
https://github.com/koreader/koreader.git
synced 2025-08-10 00:52:38 +00:00
Export highlights for selected files. Having a button "Select all files in folder", it is easy to export the whole folder. So, closes #10402. To keep even number of buttons, added a feature "Show selected files list". May be useful to check selections before an operation. Just a sorted list, no titlebar or popup menu, tapping a file jumps to its folder.