24 Nov
2005
24 Nov
'05
10:46 p.m.
Hi,
how about dropping $*_font_family?
as the Browser self selects the correct font to display foreign chars
and not all themes respect this variable
--
Sebastian Mendel
www.sebastianmendel.de
www.sf.net/projects/phpdatetime | www.sf.net/projects/phptimesheet
27 Nov
27 Nov
8:25 a.m.
New subject: [Phpmyadmin-devel] Re: dropping $*font_family
Hi
On Fri 25. 11. 2005 15:01, Marc Delisle wrote:
Sebastian Mendel a écrit :
Not important at all. For utf-8 we use FreeSans in all cases and this is
what most users get anyway. If we switch to tahoma (for iso-8859-2) and
to helvetica (for rest) nobody will find difference. I'm going to
change it this way.
--
Michal Čihař | http://cihar.com
Hi,
how about dropping $*_font_family?
as the Browser self selects the correct font to display foreign
chars and not all themes respect this variable
Currently used in pdf_schema.php
25 Nov
25 Nov
2 a.m.
New subject: [Phpmyadmin-devel] Re: dropping $*font_family
Hi
On Fri 25. 11. 2005 12:47, Sebastian Mendel wrote:
how about dropping $*_font_family?
as the Browser self selects the correct font to display foreign chars
and not all themes respect this variable
Okay for me.
--
Michal Čihař | http://cihar.com
6817
days inactive
6819
days old
3 comments
3 participants
participants (3)
-
Marc Delisle -
Michal Čihař -
Sebastian Mendel