mirror of
https://github.com/koreader/koreader
synced 2024-10-31 21:20:20 +00:00
1925f6e653
* Flush mode to settings ASAP when an unrelated option updates the mode.
Fixes, among other things, *enabling* the progress bar while the status
bar is hidden: this showed it, but kept mode as "off".
* Don't stomp on the current mode when toggling the progress bar.
And *always* pop the status bar back up to see the difference, even if
it's hidden.
This used to be done only when *enabling* the progress bar.
|
||
|---|---|---|
| .. | ||
| modules | ||
| readerui.lua | ||
| skimtowidget.lua | ||