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@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/phpmyadmin-devel