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