On Tue, Jan 08, 2013 at 11:55:42PM +0000, corvid wrote:
I wrote:
In styleengine, we use font_factor for calculation of larger and x-small and so forth, but we don't apply it when given an ordinary font size like 11px.
Just to double-check: That's not intended behaviour, right?
sorry for the delay... This is intentional, but we know that there is a usability issue. In CSS px, mm, pt etc. define absolute sizes [1]. So if we want to adhere to the CSS spec strictly I think we can't just scale them. On the other hand web designers just use px without thinking about the implications. Also other browsers allow scaling of those fonts afaik. I think we have the following options: * ignore CSS and apply font_factor also to absolute font sizes * implement a zoom feature that displays everything larger (also images etc. * check other browsers for more alternatives [1] http://www.w3.org/TR/CSS21/fonts.html#font-size-props
Johannes wrote:
On Tue, Jan 08, 2013 at 11:55:42PM +0000, corvid wrote:
I wrote:
In styleengine, we use font_factor for calculation of larger and x-small and so forth, but we don't apply it when given an ordinary font size like 11px.
Just to double-check: That's not intended behaviour, right?
sorry for the delay... This is intentional, but we know that there is a usability issue. In CSS px, mm, pt etc. define absolute sizes [1]. So if we want to adhere to the CSS spec strictly I think we can't just scale them. On the other hand web designers just use px without thinking about the implications. Also other browsers allow scaling of those fonts afaik. I think we have the following options:
* ignore CSS and apply font_factor also to absolute font sizes * implement a zoom feature that displays everything larger (also images etc. * check other browsers for more alternatives
Applying font_factor seems much more usable to me. A zoom feature would be cool, though. I wonder whether there's some level where we could get cheap and halfway tolerable zooming by throwing some of fltk's matrix transformation stuff at what we're drawing.
On Wed, Jan 09, 2013 at 09:16:08AM +0100, Johannes Hofmann wrote:
On Tue, Jan 08, 2013 at 11:55:42PM +0000, corvid wrote:
I wrote:
In styleengine, we use font_factor for calculation of larger and x-small and so forth, but we don't apply it when given an ordinary font size like 11px.
Just to double-check: That's not intended behaviour, right?
sorry for the delay... This is intentional, but we know that there is a usability issue. In CSS px, mm, pt etc. define absolute sizes [1]. So if we want to adhere to the CSS spec strictly I think we can't just scale them. On the other hand web designers just use px without thinking about the implications. Also other browsers allow scaling of those fonts afaik. I think we have the following options:
* ignore CSS and apply font_factor also to absolute font sizes
I'd apply font_factor, especially if that's what other browsers do.
* implement a zoom feature that displays everything larger (also images etc.
Scaling images may hurt (think of PDAs). An image_factor may help for those (just a wild thought).
* check other browsers for more alternatives
Should check before making a decision. -- Cheers Jorge.-
On Fri, Jan 11, 2013 at 05:24:51PM -0300, Jorge Arellano Cid wrote:
On Wed, Jan 09, 2013 at 09:16:08AM +0100, Johannes Hofmann wrote:
On Tue, Jan 08, 2013 at 11:55:42PM +0000, corvid wrote:
I wrote:
In styleengine, we use font_factor for calculation of larger and x-small and so forth, but we don't apply it when given an ordinary font size like 11px.
Just to double-check: That's not intended behaviour, right?
sorry for the delay... This is intentional, but we know that there is a usability issue. In CSS px, mm, pt etc. define absolute sizes [1]. So if we want to adhere to the CSS spec strictly I think we can't just scale them. On the other hand web designers just use px without thinking about the implications. Also other browsers allow scaling of those fonts afaik. I think we have the following options:
* ignore CSS and apply font_factor also to absolute font sizes
I'd apply font_factor, especially if that's what other browsers do.
* implement a zoom feature that displays everything larger (also images etc.
Scaling images may hurt (think of PDAs). An image_factor may help for those (just a wild thought).
* check other browsers for more alternatives
Should check before making a decision.
My Firefox has a zoom option, that zooms all text and images and an additional option to zoom text only. I also tend to a apply font_factor to all text. Cheers, Johannes
participants (4)
-
corvid＠lavabit.com -
jcid＠dillo.org -
Johannes.Hofmann＠gmx.de -
johannes.hofmann＠gmx.de