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

default font size of 82%

Browse Source
This commit is contained in:
Marc Delisle
2007-07-23 23:54:41 +00:00
parent 7d015ff72a
commit ebc2899198
1 changed files with 5 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
libraries/Config.class.php
View File

@@ -734,11 +734,13 @@ class PMA_Config
if (preg_match('/^[0-9.]+(px|em|pt|\%)$/', $new_fontsize)) {
$this->set('fontsize', $new_fontsize);
} elseif (! $this->get('fontsize')) {
$this->set('fontsize', '100%');
// 80% would correspond to the default browser font size
// of 16, but use 82% to help read the monoface font
$this->set('fontsize', '82%');
}
if (function_exists('PMA_setCookie')) {
PMA_setCookie('pma_fontsize', $this->get('fontsize'), '100%');
PMA_setCookie('pma_fontsize', $this->get('fontsize'), '82%');
}
}
@@ -920,7 +922,7 @@ class PMA_Config
* @param string $current_size current selected font size with unit
* @return array selectable font sizes
*/
function getFontsizeOptions($current_size = '100%')
function getFontsizeOptions($current_size = '82%')
{
$unit = preg_replace('/[0-9.]*/', '', $current_size);
$value = preg_replace('/[^0-9.]*/', '', $current_size);