On Fri, 02 Nov 2001 04:09:35 +0900, "Stephen J. Turnbull" said:
This patch is a new feature, and therefore inappropriate for 21.4.
Even if the face support in the widgets does not extend to Mule fonts,
in 21.5 we should be working to get rid of the fontset support that
exists, rather than extending it to other parts of the code.
Given that fontsets exist to solve an actual problem (that you may not
have one font that covers the charspace, but can use several related fonts
to cover), what do you propose to replace the fontset support that you
wish to get rid of?
--
Valdis Kletnieks
Operating Systems Analyst
Virginia Tech