<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
  <meta content="text/html;charset=UTF-8" http-equiv="Content-Type">
</head>
<body bgcolor="#ffffff" text="#000066">
Eli Barzilay wrote:
<blockquote cite="mid17941.16019.488978.425769@kinyarwanda.ccs.neu.edu"
 type="cite">
  <pre wrap="">On Apr  5, Kyle Smith wrote:
  </pre>
  <blockquote type="cite">
    <pre wrap="">[...] Anyway, if anyone knows a system independent way of getting
the user's system's installed fonts, so I can construct a dialog box
to select from I would surely appreciate it.
    </pre>
  </blockquote>
  <pre wrap=""><!---->
There's `get-font-from-user' for that.

  </pre>
</blockquote>
How did I miss that one?   Thanks Eli.<br>
<br>
--kyle<br>
<br>
Kyle Smith<br>
airfoil at bellsouth dot net<br>
schemekeys.blogspot.com<br>
</body>
</html>