diff --git a/libraries/common.lib.php3 b/libraries/common.lib.php3 index cdda46e30..2d2b480c8 100644 --- a/libraries/common.lib.php3 +++ b/libraries/common.lib.php3 @@ -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'; diff --git a/libraries/defines.lib.php3 b/libraries/defines.lib.php3 index 0531383d3..f80df4ec5 100644 --- a/libraries/defines.lib.php3 +++ b/libraries/defines.lib.php3 @@ -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');