90
90
/* These are what we use as the standard font sizes, for the size list.
92
92
static const guint16 font_sizes[] = {
93
6, 7, 8, 9, 10, 11, 12, 13, 14, 16, 18, 20, 22, 24, 26, 28,
93
6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 22, 24, 26, 28,
94
94
32, 36, 40, 48, 56, 64, 72