bugfix: fix increment of refresh count
If full refresh is false and refresh count is FULL_REFRESH_COUNT - 1,
every refresh becomes full refresh. This patch increases refresh count
when a full refresh is performed no matter whether full refresh is
requested.
set widget dirty with "auto", "full" and "partial" arguments
The "auto" argument requests a full refresh and increses full refresh count
by one. And the "full" argument forces a full refresh and reset full refresh
count. And the "partial" argument requests a partial refresh.
screenshot with finger touch at the two corners of the diagonal