Marc Delisle a écrit :
Michal Čihař a écrit :
On Sat 29. 10. 2005 22:04, Marc Delisle wrote:
Currently I am on
PMA_USR_OS == Linux
PMA_USR_BROWSER_AGENT == MOZILLA
So I get this:
$font_size = 'medium';
$font_biggest = 'x-large';
$font_bigger = 'large';
$font_smaller = 'small';
$font_smallest = 'x-small';
And this is smaller than before? Well it shouldn't be, unless there is
something broken inside your browser :-).
It could be: I just checked again in Win2K /Firefox and with Original
theme I get the same font size, comparing 2.6.4 and 2.7.0.
Alexander, your tests are under Linux only?
Marc
After a mail conversation with Sebastian, he pointed me to
PMA_setFontSize() and I just found that there is a difference between
PMA 2.6.4 and 2.7.0. This is a section from 2.7.0:
else if ((PMA_USR_OS == 'Mac'
&& ((PMA_USR_BROWSER_AGENT != 'IE' &&
PMA_USR_BROWSER_AGENT != '
MOZILLA')
|| PMA_USR_BROWSER_VER < 5))
|| PMA_USR_BROWSER_AGENT == 'KONQUEROR'
|| PMA_USR_BROWSER_AGENT == 'MOZILLA') {
and in 2.6.4, the last "OR" was not there.
|| PMA_USR_BROWSER_AGENT == 'MOZILLA') {
Do we really need this?
Marc
-------------------------------------------------------
SF.Net email is sponsored by:
Tame your development challenges with Apache's Geronimo App Server.
Download
it for free - -and be entered to win a 42" plasma tv or your very own
Sony(tm)PSP. Click here to play:
http://sourceforge.net/geronimo.php
_______________________________________________
Phpmyadmin-devel mailing list
Phpmyadmin-devel(a)lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/phpmyadmin-devel