Greg Hellings <[email protected]> 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? _______________________________________________ sword-devel mailing list: [email protected] http://www.crosswire.org/mailman/listinfo/sword-devel Instructions to unsubscribe/change your settings at above page
