On Wed, Apr 10, 2002 at 11:02:51 -0700, Craig Dickson wrote:
> style "user-font"
> {
> fontset ="-adobe-helvetica-medium-r-normal-*-12-*-*-*-p-*-iso8859-1"
> }
>
> widget_class "*" style "user-font"
I tried that, but accented characters and following text no longer
get drawn. Any idea?
--
Vincent Lefèvre <[EMAIL PROTECTED]> - Web: <http://www.vinc17.org/> - 100%
validated (X)HTML - Acorn Risc PC, Yellow Pig 17, Championnat International
des Jeux Mathématiques et Logiques, TETRHEX, etc.
Work: CR INRIA - computer arithmetic / SPACES project at LORIA
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
