From: | Andreas Pflug <pgadmin(at)pse-consulting(dot)de> |
---|---|
To: | jm(dot)poure(at)freesurf(dot)fr |
Cc: | Dave Page <dpage(at)vale-housing(dot)co(dot)uk>, pgadmin-hackers(at)postgresql(dot)org |
Subject: | Re: Cache for translation statistics |
Date: | 2003-08-07 12:56:50 |
Message-ID: | 3F324C92.5090009@pse-consulting.de |
Views: | Raw Message | Whole Thread | Download mbox | Resend email |
Thread: | |
Lists: | pgadmin-hackers |
Jean-Michel POURE wrote:
>On Thursday 07 August 2003 13:11, Dave Page wrote:
>
>
>>It still seems to be writing the files to the pgadmin3 directory, not
>>the new cache directory.
>>
>>
>
>Sorry, I did not commit to CVS and deleted my changes. Done now.
>
>
>
>>BTW, is there anything we can do about the font? The default Times New
>>Roman looks crap...
>>
>>
>
>I would prefer no default font at all in CSS to let the operatings system or
>the user choose his/her preffered font. Otherwise, there can be display
>errors, even in Japanese (which was the case with the current stylesheet).
>
>Where did we default Times New Roman?
>
>
Unfortunately, Times seems to be the default browser's font...
Is it possible to set the font for "usual" languages to a nice one, and
leave the font default for "odd" languages like Japanese?
Regards,
Andreas
From | Date | Subject | |
---|---|---|---|
Next Message | Dave Page | 2003-08-07 13:12:47 | Re: Cache for translation statistics |
Previous Message | Jean-Michel POURE | 2003-08-07 12:55:16 | Re: Cache for translation statistics |