[UX] Ignore page flipping toggle while bookmark flipping (#5276)
[UX] Ignore page flipping toggle while bookmark flipping (#5276)

See https://github.com/koreader/koreader/issues/5265#issuecomment-525626930
mihailim/koreader,koreader/koreader,Hzj-jie/koreader,mwoz123/koreader,Frenzie/koreader,poire-z/koreader,pazos/koreader,NiLuJe/koreader,NiLuJe/koreader,poire-z/koreader,Frenzie/koreader,Markismus/koreader,koreader/koreader