comparison: ui/gtk/toolkit.c
ui/gtk/toolkit.c
- changeset 946
- 081651de86a3
- parent 942
- 488178e3e328
- child 956
- 4cdfbfd2038d
equal
deleted
inserted
replaced
| 945:6055c7c677cf | 946:081651de86a3 |
|---|---|
| 344 | 344 |
| 345 #if GTK_MAJOR_VERSION >= 3 | 345 #if GTK_MAJOR_VERSION >= 3 |
| 346 | 346 |
| 347 #if GTK_MAJOR_VERSION == 4 | 347 #if GTK_MAJOR_VERSION == 4 |
| 348 static const char *ui_gtk_css = | 348 static const char *ui_gtk_css = |
| 349 ".ui-entry-box {\n" | |
| 350 " background-color: alpha(currentColor, 0.1);" | |
| 351 " border-radius: 6px;" | |
| 352 " padding: 7px;" | |
| 353 "}\n" | |
| 349 "#path-textfield-box {\n" | 354 "#path-textfield-box {\n" |
| 350 " background-color: alpha(currentColor, 0.1);" | 355 " background-color: alpha(currentColor, 0.1);" |
| 351 " border-radius: 6px;" | 356 " border-radius: 6px;" |
| 352 " padding: 0px;" | 357 " padding: 0px;" |
| 353 "}\n" | 358 "}\n" |
