Closed pma-import closed 9 years ago
Logged In: YES user_id=192186
We use font size defined in your browser. Even if you have configured size you don't like.
See bug #1436836 for details.
Logged In: YES user_id=407659
Nijel, Would you consider allowing the user to at least specify the base font style he wishes to use?
Logged In: YES user_id=407659
This seems a sufficient fix for me "font-size: 80%;": See: phpMyAdmin-2.8.0.2/themes/original/css/theme_right.css.php
Insert "font-size: 80%;" line 10. Make my secretaries and researchers happy.
/*****/
/ general tags */
body {
margin: 0.5em;
padding: 0;
font-family: <?php echo
$GLOBALS['right_font_family']; ?>;
color: #000000;
background-image:
url(../themes/original/img/vertical_line.png);
background-repeat: repeat-y;
background-color: #F5F5F5;
font-size: 80%;
}
Logged In: YES user_id=1383652
as one can set a cookie on the main.php which language to use, why not selecting my preferred font-size/face?
Logged In: YES user_id=192186
Was resolved (at least somehow) in bug #1452131.
Logged In: YES user_id=407659
I'll watch this, until i understand what is going on?
Logged In: YES user_id=1312539
This Tracker item was closed automatically by the system. It was previously set to a Pending status, and the original submitter did not respond within 14 days (the time period specified by the administrator of this Tracker).
Logged In: YES user_id=407659
I did not receive a notice that this was pending. I do think, as an IS project, that this option should be reconsidered. Enough threads and replies exist to show user disappointment. I have reopened it. > Was resolved (at least somehow) in bug #1452131. No, just closed. To "fix" this, you have to hack into a css file. I don't see it as a fix. John
Logged In: YES user_id=192186
Have you read that bug? There IS config option.
Logged In: YES user_id=1383652
The only config options i found where in themes/original/layout.inc.php: (Pma290-20060501) $GLOBALS['cfg']['FontFamily'] = ''; $GLOBALS['cfg']['FontSize'] = '';
Fontfamily is ok, but fontsize = 90% for example leads to very small forms and tables (unreadable in Opera).
Logged In: YES user_id=192186
Please put followups to that bug, related developer follow that one.
The base font size has become really large size since the last release (at least phpMyAdmin 2.8.0.2). I've pointed it out to Lem. His response is below.
I think it would be a reasonable feature request to add something in the config.inc.php. Within the concept of open source, we could at least allow the base font and size to be configurable? If "taille normal" means normal size, at least let the config file decide which font. Arial normal size is quite big compared to Times New Roman normal size.
Maybe ctrl+ or ctrl- is intuitive for some, but not All users. Some are not hardcore databasers; some are secretaries and researchers working for us, doing the grunt work. If they have to reduce the font size for one site and enlarge it for another, this makes for a *itchy office climate where change for change's sake does not bode well.
>Pour la taille des polices, maintenant phpMyAdmin >utilise la taille normale de ton navigateur. >Tout navigateur moderne peut modifier rapidement la >taille de la police (avec firefox c'est control - ou +)
http://testesp.flsh.usherbrooke.ca/images/textsizeInternetExplorer.jpg http://testesp.flsh.usherbrooke.ca/images/textsizeMozilla.jpg
I'm not expecting everyone to agree, just let's keep an open mind about it, an Open Source mind about it.