[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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: