OmarDec 23
Dear ImGui now embeds a vector/scalable version of the classic font by default, manually subsetted/optimized so it fits in 18 KB (opt-out possible). Embedding ensures easily and readily usable in all contexts. Should default to new one on most setups. Here's a compare of both. #ChristmasMiracle
Show threadOmarDec 23
Required quite some tweaks to get right & small. Still mono-space and configurable, just changes the initial default above a certain scale threshold. You can opt-in to the classic bitmap one. I believe new one is a better default, hopefully makes a non-configured Dear ImGui nicer.
Show threadOmar
Below 4K resoltions, without imgui_freetype and at same size than the classic bitmap font, most fonts didn't look great enough. New font IMHO looks worse at 13px (below selection threshold) but not shocking. From 14px it looks competitively good. Nowadays most apps would default to larger sizes.
Dec 23 at 6:01pmWeb