Quote:
Originally Posted by odamizu
I'm curious how the above default values were determined (7.13 7.81 8.49 9.17 10.53 12.56 16.98 29.2)
|
This is the code from ReaderResources.java.src:
PHP Code:
{ "font.menu.size.list", new int[][] { new int[] { 7, 8, 9, 11, 13, 16, 25, 37 } } },
{ "font.size.mapping.indic", new float[] { 8.49f, 9.17f, 10.53f, 11.55f, 12.57f, 13.58f, 16.98f, 29.21f } },
{ "font.size.mapping.cjk", new float[] { 7.13f, 8.15f, 8.83f, 9.51f, 10.19f, 11.88f, 16.98f, 29.20f } },
{ "font.size.mapping", new float[] { 7.13f, 7.81f, 8.49f, 9.17f, 10.53f, 12.56f, 16.98f, 29.20f } },