Server : Apache System : Linux server1.cgrithy.com 3.10.0-1160.95.1.el7.x86_64 #1 SMP Mon Jul 24 13:59:37 UTC 2023 x86_64 User : nobody ( 99) PHP Version : 8.1.23 Disable Function : NONE Directory : /lib64/tcl8.5/Tix8.4.3/pref/ |
# # $Id: Old12Pt.fs,v 1.2 2001/12/09 05:03:09 idiscovery Exp $ # proc tixSetFontset:12Point {} { global tixOption set tixOption(font) -*-helvetica-medium-r-normal-*-12-*-*-*-*-*-*-* set tixOption(bold_font) -*-helvetica-bold-r-normal-*-12-*-*-*-*-*-*-* set tixOption(menu_font) -*-helvetica-bold-o-normal-*-12-*-*-*-*-*-*-* set tixOption(italic_font) -*-helvetica-bold-o-normal-*-12-*-*-*-*-*-*-* set tixOption(fixed_font) -*-courier-medium-r-*-*-12-*-*-*-*-*-*-* set tixOption(border1) 1 }