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 ---------------------------(end of broadcast)--------------------------- TIP 7: don't forget to increase your free space map settings
