libgui: Detect window pixel ratio; RichFormat text ranges; cleanup
RichFormat no longer makes a plaintext copy of the string. Instead,the formatted ranges refer to the original string (that containsescape codes).
View differences
libgui: Detect window pixel ratio; RichFormat text ranges; cleanup
RichFormat no longer makes a plaintext copy of the string. Instead,
the formatted ranges refer to the original string (that contains
escape codes).