Greg Hellings <greg.hellings at gmail.com> writes:
> I've found that GNOME tends to use a very excellent coverage font by
> default for its UI elements. However, WebKitGTK might be defaulting to
> a different font for display that doesn't include those characters
Well, the whole point is ... it displays correctly already. On Linux
systems, anyway. It *does* include those characters. So what is the
GNOME font discovery tool wanting to accomplish, considering that GTK
has /already/ rendered it right?