Do FULL updates when going in/out of ScreenSaver.
Do FULL updates when going in/out of ScreenSaver.

Sounds a good idea in general, and helps in particular on REAGL-aware
devices.

robert00s/koreader,noname007/koreader,ashang/koreader,ashhher3/koreader,koreader/koreader,koreader/koreader,lgeek/koreader,poire-z/koreader,Frenzie/koreader,frankyifei/koreader,Markismus/koreader,houqp/koreader,poire-z/koreader,NickSavage/koreader,chihyang/koreader,mihailim/koreader,chrox/koreader,NiLuJe/koreader,mwoz123/koreader,NiLuJe/koreader,apletnev/koreader,Hzj-jie/koreader,pazos/koreader,Frenzie/koreader