2 proc tixSetFontset:12Point {} {
5 set tixOption(font) -*-helvetica-medium-r-normal-*-12-*-*-*-*-*-*-*
6 set tixOption(bold_font) -*-helvetica-bold-r-normal-*-12-*-*-*-*-*-*-*
7 set tixOption(menu_font) -*-helvetica-bold-o-normal-*-12-*-*-*-*-*-*-*
8 set tixOption(italic_font) -*-helvetica-bold-o-normal-*-12-*-*-*-*-*-*-*
9 set tixOption(fixed_font) -*-courier-medium-r-*-*-12-*-*-*-*-*-*-*
10 set tixOption(border1) 1