comparison: ui/gtk/toolkit.c
ui/gtk/toolkit.c
- changeset 1052
- bc56cc4dd809
- parent 1046
- 94df16a7fff2
equal
deleted
inserted
replaced
| 1051:0db713dc8590 | 1052:bc56cc4dd809 |
|---|---|
| 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 "}" | |
| 406 ; | 411 ; |
| 407 | 412 |
| 408 #elif GTK_MAJOR_VERSION == 3 | 413 #elif GTK_MAJOR_VERSION == 3 |
| 409 static const char *ui_gtk_css = | 414 static const char *ui_gtk_css = |
| 410 "#path-textfield-box {\n" | 415 "#path-textfield-box {\n" |
