Details |
Last modification |
View Log
| RSS feed
| Rev |
Author |
Line No. |
Line |
| 4 |
- |
1 |
style "gtk-default-he" {
|
|
|
2 |
fontset = "-*-helvetica-medium-r-normal--12-*-*-*-*-*-iso8859-1,\
|
|
|
3 |
-*-*-medium-r-normal--12-*-*-*-*-*-iso8859-8,*-r-*"
|
|
|
4 |
}
|
|
|
5 |
class "GtkWidget" style "gtk-default-he"
|
|
|
6 |
|