On Thursday 07 August 2003 14:56, Andreas Pflug wrote:
> 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?
Yes, it can done easily today. We can define a group of Latin1 languages, for
which pgAdmin fonts will be used. All other languages will use the browser
defaults.
By the way, what are pgAdmin font?
Cheers,
Jean-Michel