Add some more font sizes

Make 15 and 17 available in the list. See bug 585371
This commit is contained in:
Matthias Clasen 2009-06-15 17:19:43 -04:00
parent 6abc52a29d
commit b6fc50c855

View File

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