comparison: ui/gtk/toolkit.c
ui/gtk/toolkit.c
- changeset 729
- 81b698792386
- parent 699
- 148618eff948
- child 777
- 622efebfab37
equal
deleted
inserted
replaced
| 728:011d236c4a05 | 729:81b698792386 |
|---|---|
| 402 " padding: 0px 10px 0px 10px;\n" | 402 " padding: 0px 10px 0px 10px;\n" |
| 403 " font-weight: bold;\n" | 403 " font-weight: bold;\n" |
| 404 " margin-left: 4px;" | 404 " margin-left: 4px;" |
| 405 " margin-right: 4px;" | 405 " margin-right: 4px;" |
| 406 "}\n" | 406 "}\n" |
| 407 ".ui-nopadding {" | |
| 408 " padding: 0;" | |
| 409 "}\n" | |
| 407 ; | 410 ; |
| 408 | 411 |
| 409 #elif GTK_MAJOR_VERSION == 3 | 412 #elif GTK_MAJOR_VERSION == 3 |
| 410 static const char *ui_gtk_css = | 413 static const char *ui_gtk_css = |
| 411 "#path-textfield-box {\n" | 414 "#path-textfield-box {\n" |
| 443 " border-radius: 9999px;\n" | 446 " border-radius: 9999px;\n" |
| 444 " padding: 0px 10px 0px 10px;\n" | 447 " padding: 0px 10px 0px 10px;\n" |
| 445 " font-weight: bold;\n" | 448 " font-weight: bold;\n" |
| 446 " margin-left: 4px;" | 449 " margin-left: 4px;" |
| 447 " margin-right: 4px;" | 450 " margin-right: 4px;" |
| 451 "}\n" | |
| 452 ".ui-nopadding {" | |
| 453 " padding: 0;" | |
| 448 "}\n" | 454 "}\n" |
| 449 ; | 455 ; |
| 450 #endif | 456 #endif |
| 451 | 457 |
| 452 void ui_css_init(void) { | 458 void ui_css_init(void) { |
