comparison: ui/gtk/toolkit.c
ui/gtk/toolkit.c
- changeset 777
- 622efebfab37
- parent 729
- 81b698792386
- child 795
- d466b6edfebc
equal
deleted
inserted
replaced
| 776:867ff911492d | 777:622efebfab37 |
|---|---|
| 405 " margin-right: 4px;" | 405 " margin-right: 4px;" |
| 406 "}\n" | 406 "}\n" |
| 407 ".ui-nopadding {" | 407 ".ui-nopadding {" |
| 408 " padding: 0;" | 408 " padding: 0;" |
| 409 "}\n" | 409 "}\n" |
| 410 ".ui-table-entry {" | |
| 411 " border: none;" | |
| 412 " box-shadow: none;" | |
| 413 " background: transparent;" | |
| 414 "}\n" | |
| 410 ; | 415 ; |
| 411 | 416 |
| 412 #elif GTK_MAJOR_VERSION == 3 | 417 #elif GTK_MAJOR_VERSION == 3 |
| 413 static const char *ui_gtk_css = | 418 static const char *ui_gtk_css = |
| 414 "#path-textfield-box {\n" | 419 "#path-textfield-box {\n" |
