Commit 560eec92

do not do a full refresh on UI widgets if only the text changes

Another, secondary, state hash for UIs is added for the text labels on widgets. This is handled independently from the “main” UI state hash, so there is no longer a need for full refreshes if a text label changes. The main motivation for this one was the clock, which changes its text label *very* frequently.