4 Commits

Author	SHA1	Message	Date
schroda	f90e4597f8	Make mobile progress bar position changeable	2025-01-02 21:48:02 +01:00
schroda	052625a013	Adjust "MobileReaderProgressBar" styling ... In case the current page is the first one, there will be now no visible progress shown anymore. The progress slider will now be exactly at the start of the progress bar.	2024-12-27 18:26:18 +01:00
schroda	a2ac2971f6	Improve memoization of "MobileReaderProgressBar"	2024-12-26 01:41:36 +01:00
schroda	635f294184	Extract "ReaderProgressBarSlot" from "MobileReaderProgressBar"	2024-12-26 01:09:33 +01:00