mirror of https://github.com/koreader/koreader
UIManager:_refresh(): no more default refresh
If no refresh type is specified, don't do a refresh. There should be now refresh types specified in all relevant places.pull/1316/head
parent
94ce08937a
commit
844c1babf7
Loading…
Reference in New Issue