nettika/phpmyadmin
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Opera for Mac needs lower font sizes

Browse Source
This commit is contained in:
Loïc Chapeaux
2001-12-11 12:12:50 +00:00
parent ae50054466
commit 68fef55681
1 changed files with 12 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

23
libraries/common.lib.php3
View File

@@ -632,23 +632,24 @@ if (!defined('PMA_COMMON_LIB_INCLUDED')){
: 'x-small'; : 'x-small';
$font_smallest = 'x-small'; $font_smallest = 'x-small';
} }
// Mac browsers: need bigger fonts except IE 5+ & NS 6+ and OmniWeb // Some mac browsers need also smaller default fonts size (OmniWeb &
// Opera)...
else if (PMA_USR_OS == 'Mac' 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 == 'OMNIWEB' || PMA_USR_BROWSER_AGENT == 'OPERA')) {
&& (PMA_USR_BROWSER_AGENT != 'OMNIWEB')) {
$font_size = 'medium';
$font_bigger = 'x-large';
$font_smaller = 'small';
$font_smallest = 'x-small';
}
// OmniWeb for mac
else if (PMA_USR_OS == 'Mac'
&& PMA_USR_BROWSER_AGENT == 'OMNIWEB') {
$font_size = 'x-small'; $font_size = 'x-small';
$font_bigger = 'large'; $font_bigger = 'large';
$font_smaller = '90%'; $font_smaller = '90%';
$font_smallest = '7pt'; $font_smallest = '7pt';
} }
// ... but most of them (except IE 5+ & NS 6+) need bigger fonts
else if (PMA_USR_OS == 'Mac'
&& ((PMA_USR_BROWSER_AGENT != 'IE' && PMA_USR_BROWSER_AGENT != 'MOZILLA')
|| PMA_USR_BROWSER_VER < 5)) {
$font_size = 'medium';
$font_bigger = 'x-large';
$font_smaller = 'small';
$font_smallest = 'x-small';
}
else { else {
$font_size = 'small'; $font_size = 'small';
$font_bigger = 'large'; $font_bigger = 'large';