พงศ์ธวัช

ต้นเหตุของเรื่องคือต้องการเปลี่ยน Font บางอย่างใน Eclipse ให้ตัวเล็กลง ซึ่ง Font บางจุดของ Eclipse จะใช้ตาม System และไม่มีตัวเลือกให้เปลี่ยน (เช่นพวก Tree ทั้งหลายอย่าง Package Explorer) ทำให้มันกินที่โดยไม่จำเป็น

วิธีแก้ก็โดยการสร้าง GTK setting ให้กับ Eclipse โดยเฉพาะ โดยการสร้าไฟล์ gtkrc เฉพาะให้มัน

ไฟล์ gtkrc หน้าตาประมาณนี้

include " /usr/share/themes/Glossy/gtk-2.0/gtkrc"

style "user-font"
{
font_name="Sans Serif 10"
}

widget_class "**" style "user-font"

บรรทัดแรกเป็นการกำหนด theme ตรง style เป็นการกำหนด style ใหม่ ส่วนบรรทัดสุดท้ายเป็นการกำหนดให้ widget GtkTreeView ไปใช้ style ที่เรากำหนดไว้

จากนั้นก็ run Eclipse ด้วยคำสั่ง

GTK2_RC_FILES=/path/to/eclipse_gtkrc eclipse

โดย /path/to/eclipse_gtkrc เป็น full path ไปยังไฟล์ gtkrc ข้างต้น

สำหรับโปรแกรมอื่นๆ ที่ต้องการเปลี่ยนหน้าตาให้ไม่เหมือน system default ก็ทำวิธีเดียวกันได้

ส่วนจะตั้งอะไรได้บ้าง คงต้องไปหาดูตัวอย่างอีกที

ที่มา: Changing GTK theme for a specific application, Font-size unbearable on applications