- { "/Options/Default Font Size/8pt", NULL, options_font_size, 8, "<RadioItem>" },
- { "/Options/Default Font Size/10pt", NULL, options_font_size, 10, "/Options/Default Font Size/8pt" },
- { "/Options/Default Font Size/12pt", NULL, options_font_size, 12, "/Options/Default Font Size/8pt" },
- { "/Options/Default Font Size/14pt", NULL, options_font_size, 14, "/Options/Default Font Size/8pt" },
- { "/Options/Default Font Size/18pt", NULL, options_font_size, 18, "/Options/Default Font Size/8pt" },
- { "/Options/Default Font Size/24pt", NULL, options_font_size, 24, "/Options/Default Font Size/8pt" },
- { "/Options/Default Font Size/48pt", NULL, options_font_size, 48, "/Options/Default Font Size/8pt" },
- { "/Options/Default Font Size/72pt", NULL, options_font_size, 72, "/Options/Default Font Size/8pt" },
+ { "/Options/Default Font Size/Set...", NULL, options_set_font_size, 0, NULL },
+ { "/Options/Default Font Size/sep1", NULL, NULL, 0, "<Separator>" },
+ { "/Options/Default Font Size/Larger", NULL, options_change_font_size, TRUE, NULL },
+ { "/Options/Default Font Size/Smaller", NULL, options_change_font_size, FALSE, NULL },