Re: 100dpi vs 75dpi
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 <vincent@vinc17.org> - 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 debian-user-request@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
Reply to: