mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-18 10:46:25 +00:00
d6cb9cf854
The font pointers cached in labels can become dangling when the style database is updated, as happens when changing the font size dynamically. This patch orderly updates the cached pointers before removing out-of-date font entries from the style database. Related to issue #5170 |
||
---|---|---|
.. | ||
app | ||
lib | ||
server | ||
test | ||
trace_recorder/policy |