improved OmniWeb support (default font sizes) thanks to Christian Schaffner

This commit is contained in:
Loïc Chapeaux
2001-12-10 17:08:28 +00:00
parent 14d21f10a4
commit fd9977b729
2 changed files with 14 additions and 4 deletions

View File

@@ -632,16 +632,23 @@ if (!defined('PMA_COMMON_LIB_INCLUDED')){
: 'x-small';
$font_smallest = 'x-small';
}
// Mac browsers: need bigger fonts except IE 5+ & NS 6+
// Mac browsers: need bigger fonts except IE 5+ & NS 6+ and OmniWeb
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 != 'IE' && PMA_USR_BROWSER_AGENT != 'MOZILLA') || PMA_USR_BROWSER_VER < 5)
&& (PMA_USR_BROWSER_AGENT != 'OMNIWEB')) {
$font_size = 'medium';
$font_bigger = 'x-large';
$font_smaller = 'small';
$font_smallest = 'x-small';
}
// Other cases
// OmniWeb for mac
else if (PMA_USR_OS == 'Mac'
&& PMA_USR_BROWSER_AGENT == 'OMNIWEB') {
$font_size = 'x-small';
$font_bigger = 'large';
$font_smaller = '90%';
$font_smallest = '7pt';
}
else {
$font_size = 'small';
$font_bigger = 'large';

View File

@@ -109,6 +109,9 @@ if (!defined('PMA_USR_OS')) {
} else if (ereg('Opera(/| )([0-9].[0-9]{1,2})', $HTTP_USER_AGENT, $log_version)) {
define('PMA_USR_BROWSER_VER', $log_version[2]);
define('PMA_USR_BROWSER_AGENT', 'OPERA');
} else if (ereg('OmniWeb/([0-9].[0-9]{1,2})', $HTTP_USER_AGENT, $log_version)) {
define('PMA_USR_BROWSER_VER', $log_version[1]);
define('PMA_USR_BROWSER_AGENT', 'OMNIWEB');
} else if (ereg('Mozilla/([0-9].[0-9]{1,2})', $HTTP_USER_AGENT, $log_version)) {
define('PMA_USR_BROWSER_VER', $log_version[1]);
define('PMA_USR_BROWSER_AGENT', 'MOZILLA');