FontFAQ
1.2. Font의 종류 ¶
2.2. Bold 패치는 어떻게 하나요? ¶
2.3. gtk사용 프로그램은 어떻게 폰트설정 하나요? ¶
style "gtk-default-mine" { font_name = "Bitstream Vera Sans 9" /* 이런식으로 원하는 폰트 이름을 쓰면 됩니다 */ } class "GtkWidget" style "gtk-default-mine" |