comparison: ui/gtk/toolkit.c
ui/gtk/toolkit.c
- changeset 1054
- c08c2c9f11b3
- parent 1052
- bc56cc4dd809
equal
deleted
inserted
replaced
| 1053:f9976b83795c | 1054:c08c2c9f11b3 |
|---|---|
| 401 ".ui-table-entry {" | 401 ".ui-table-entry {" |
| 402 " border: none;" | 402 " border: none;" |
| 403 " box-shadow: none;" | 403 " box-shadow: none;" |
| 404 " background: transparent;" | 404 " background: transparent;" |
| 405 "}\n" | 405 "}\n" |
| 406 ".ui-table-no-header > header {" | |
| 407 " padding: 0;" | |
| 408 " border: 0;" | |
| 409 " background: none;" | |
| 410 "}" | |
| 411 ; | 406 ; |
| 412 | 407 |
| 413 #elif GTK_MAJOR_VERSION == 3 | 408 #elif GTK_MAJOR_VERSION == 3 |
| 414 static const char *ui_gtk_css = | 409 static const char *ui_gtk_css = |
| 415 "#path-textfield-box {\n" | 410 "#path-textfield-box {\n" |
