Hi, after reading the arguments about this from Florian, Sebastian, Isaac and Juergen, I think it's better for the majority of our users (with the default browser font size of 16) to set our default font size to 82%.
Why 82% ? I experimented and this gives a good compromise (the monospace fonts look better than in 80%, for example in the Rows stats).
Comments?
Marc
Hi
On Sat, 21 Jul 2007 11:55:42 -0400 Marc Delisle Marc.Delisle@cegepsherbrooke.qc.ca wrote:
after reading the arguments about this from Florian, Sebastian, Isaac and Juergen, I think it's better for the majority of our users (with the default browser font size of 16) to set our default font size to 82%.
I still think 100% is the only correct value and I always hate sites, which set smaller fonts than I have configured. However I understand that majority of people is not able to configure their browser...
ok, but let's have a config value then (with 100% in config.default.php)
Michal Čihař wrote:
Hi
On Sat, 21 Jul 2007 11:55:42 -0400 Marc Delisle Marc.Delisle@cegepsherbrooke.qc.ca wrote:
after reading the arguments about this from Florian, Sebastian, Isaac and Juergen, I think it's better for the majority of our users (with the default browser font size of 16) to set our default font size to 82%.
I still think 100% is the only correct value and I always hate sites, which set smaller fonts than I have configured. However I understand that majority of people is not able to configure their browser...
-- Michal Čihař | http://cihar.com | http://blog.cihar.com
This SF.net email is sponsored by: Splunk Inc. Still grepping through log files to find problems? Stop. Now Search log events and configuration files using AJAX and a browser. Download your FREE copy of Splunk now >> http://get.splunk.com/ _______________________________________________ Phpmyadmin-devel mailing list Phpmyadmin-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/phpmyadmin-devel
Jürgen Wind a écrit :
ok, but let's have a config value then (with 100% in config.default.php)
I thought about that (I even suggested it on IRC) but now I think that, since many providers and schools install a central version of PMA (without touching the default value much), it will do a better service to those users if we put a smaller default value.
Michal Čihař wrote:
Hi
On Sat, 21 Jul 2007 11:55:42 -0400 Marc Delisle Marc.Delisle@cegepsherbrooke.qc.ca wrote:
after reading the arguments about this from Florian, Sebastian, Isaac and Juergen, I think it's better for the majority of our users (with the default browser font size of 16) to set our default font size to 82%.
I still think 100% is the only correct value and I always hate sites, which set smaller fonts than I have configured. However I understand that majority of people is not able to configure their browser...
-- Michal Čihař | http://cihar.com | http://blog.cihar.com
well, I do also prefer a 82% default coz I don't *want/like* to change the browser settings everytime I happen to sit in front of a new machine/browser. I consider a 100% default the 2nd best solution.
Marc Delisle wrote:
Jürgen Wind a écrit :
ok, but let's have a config value then (with 100% in config.default.php)
I thought about that (I even suggested it on IRC) but now I think that, since many providers and schools install a central version of PMA (without touching the default value much), it will do a better service to those users if we put a smaller default value.
Michal Čihař wrote:
Hi
On Sat, 21 Jul 2007 11:55:42 -0400 Marc Delisle Marc.Delisle@cegepsherbrooke.qc.ca wrote:
after reading the arguments about this from Florian, Sebastian, Isaac and Juergen, I think it's better for the majority of our users (with the default browser font size of 16) to set our default font size to 82%.
I still think 100% is the only correct value and I always hate sites, which set smaller fonts than I have configured. However I understand that majority of people is not able to configure their browser...
-- Michal Čihař | http://cihar.com | http://blog.cihar.com
This SF.net email is sponsored by: Splunk Inc. Still grepping through log files to find problems? Stop. Now Search log events and configuration files using AJAX and a browser. Download your FREE copy of Splunk now >> http://get.splunk.com/ _______________________________________________ Phpmyadmin-devel mailing list Phpmyadmin-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/phpmyadmin-devel
Michal Čihař schrieb:
Hi
On Sat, 21 Jul 2007 11:55:42 -0400 Marc Delisle Marc.Delisle@cegepsherbrooke.qc.ca wrote:
after reading the arguments about this from Florian, Sebastian, Isaac and Juergen, I think it's better for the majority of our users (with the default browser font size of 16) to set our default font size to 82%.
I still think 100% is the only correct value and I always hate sites, which set smaller fonts than I have configured. However I understand that majority of people is not able to configure their browser...
^^ +1
-
Jürgen Wind -
Marc Delisle -
Michal Čihař -
Sebastian Mendel