style "text-widget" {
       font = "-*-*-medium-r-*--*-120-*-*-m-*-iso8859-1"
}
widget "*.gtkedit-text" style "text-widget"

