View Single Post
Old 12-14-2014, 09:30 AM   #236
jbjb
Somewhat clueless
jbjb ought to be getting tired of karma fortunes by now.jbjb ought to be getting tired of karma fortunes by now.jbjb ought to be getting tired of karma fortunes by now.jbjb ought to be getting tired of karma fortunes by now.jbjb ought to be getting tired of karma fortunes by now.jbjb ought to be getting tired of karma fortunes by now.jbjb ought to be getting tired of karma fortunes by now.jbjb ought to be getting tired of karma fortunes by now.jbjb ought to be getting tired of karma fortunes by now.jbjb ought to be getting tired of karma fortunes by now.jbjb ought to be getting tired of karma fortunes by now.
 
Posts: 780
Karma: 10535853
Join Date: Nov 2008
Location: UK
Device: Kindle Oasis
Quote:
Originally Posted by JSWolf View Post
When you have a font size change, it's just a number. That's all it is. The number gets passed along to tell the system what size to make the font. It should be trivial to allow a larger selection of numbers to be passed along to the system to get a different font size.
Do you actually know that is the case, or are you just assuming it?

There are many feasible implementations which would make it harder to add intermediate sizes. For example, the font selection code could return an enumeration from a fixed set, where the actual numerical values of that enumeration are arbitrary - adding a new value to that set would involve adding code at every place where that enumeration was used. Or, it could return an index into an array of font descriptors, and other code may make assumptions about the size of that array. Or, any of many other ways. Even if it does return a number which maps directly to the numerical size of the font, it could be that the units of that number are such that it doesn't have the resolution to represent intermediate sizes.

I'm not saying it isn't as you describe, just that unless you have actual inside knowledge of the code, you can't assume that it is - there are many other ways of doing it.

/JB

Last edited by jbjb; 12-14-2014 at 09:40 AM.
jbjb is online now   Reply With Quote