Konqueror font size

This commit is contained in:
Marc Delisle
2003-02-12 18:32:31 +00:00
parent 27daf651b1
commit 56e9cb638f
3 changed files with 13 additions and 6 deletions

View File

@@ -16,6 +16,8 @@ $Source$
* lang/slovenian update, thanks to Kositer Uros * lang/slovenian update, thanks to Kositer Uros
* lang/swedish: update, thanks to Bj<42>rn T. Hallberg * lang/swedish: update, thanks to Bj<42>rn T. Hallberg
* tbl_change.php3: upload field only to BLOBs * tbl_change.php3: upload field only to BLOBs
* libraries/defines.lib.php3, libraries/common.lib.php3: adjust Konqueror
font size
2003-02-11 Marc Delisle <lem9@users.sourceforge.net> 2003-02-11 Marc Delisle <lem9@users.sourceforge.net>
* tbl_replace_fields.php3: sometimes we receive "none" as the file * tbl_replace_fields.php3: sometimes we receive "none" as the file

View File

@@ -479,9 +479,10 @@ h1 {font-family: sans-serif; font-size: large; font-weight: bold}
$font_smallest = '7pt'; $font_smallest = '7pt';
} }
// ... but most of them (except IE 5+ & NS 6+) need bigger fonts // ... but most of them (except IE 5+ & NS 6+) need bigger fonts
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_AGENT != 'IE' && PMA_USR_BROWSER_AGENT != 'MOZILLA')
|| PMA_USR_BROWSER_VER < 5)) { || PMA_USR_BROWSER_VER < 5))
|| PMA_USR_BROWSER_AGENT == 'KONQUEROR') {
$font_size = 'medium'; $font_size = 'medium';
$font_biggest = 'x-large'; $font_biggest = 'x-large';
$font_bigger = 'large'; $font_bigger = 'large';
@@ -930,7 +931,6 @@ h1 {font-family: sans-serif; font-size: large; font-weight: bold}
} // end building available dbs from the "mysql" db } // end building available dbs from the "mysql" db
} // end server connecting } // end server connecting
/** /**
* Missing server hostname * Missing server hostname
*/ */

View File

@@ -77,6 +77,8 @@ if (!defined('PMA_USR_OS')) {
} }
// 2. browser and version // 2. browser and version
// (must check everything else before Mozilla)
if (ereg('Opera(/| )([0-9].[0-9]{1,2})', $HTTP_USER_AGENT, $log_version)) { 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_VER', $log_version[2]);
define('PMA_USR_BROWSER_AGENT', 'OPERA'); define('PMA_USR_BROWSER_AGENT', 'OPERA');
@@ -86,12 +88,15 @@ if (!defined('PMA_USR_OS')) {
} else if (ereg('OmniWeb/([0-9].[0-9]{1,2})', $HTTP_USER_AGENT, $log_version)) { } 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_VER', $log_version[1]);
define('PMA_USR_BROWSER_AGENT', 'OMNIWEB'); define('PMA_USR_BROWSER_AGENT', 'OMNIWEB');
//} else if (ereg('Konqueror/([0-9].[0-9]{1,2})', $HTTP_USER_AGENT, $log_version)) {
// Konqueror 2.2.2 says Konqueror/2.2.2
// Konqueror 3.0.3 says Konqueror/3
} else if (ereg('(Konqueror/)(.*)(;)', $HTTP_USER_AGENT, $log_version)) {
define('PMA_USR_BROWSER_VER', $log_version[2]);
define('PMA_USR_BROWSER_AGENT', 'KONQUEROR');
} else if (ereg('Mozilla/([0-9].[0-9]{1,2})', $HTTP_USER_AGENT, $log_version)) { } 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_VER', $log_version[1]);
define('PMA_USR_BROWSER_AGENT', 'MOZILLA'); define('PMA_USR_BROWSER_AGENT', 'MOZILLA');
} else if (ereg('Konqueror/([0-9].[0-9]{1,2})', $HTTP_USER_AGENT, $log_version)) {
define('PMA_USR_BROWSER_VER', $log_version[1]);
define('PMA_USR_BROWSER_AGENT', 'KONQUEROR');
} else { } else {
define('PMA_USR_BROWSER_VER', 0); define('PMA_USR_BROWSER_VER', 0);
define('PMA_USR_BROWSER_AGENT', 'OTHER'); define('PMA_USR_BROWSER_AGENT', 'OTHER');