comparison: ui/gtk/toolkit.c
ui/gtk/toolkit.c
- branch
- newapi
- changeset 355
- 4db3ecd4d1ea
- parent 352
- 1b4aae4e8432
- child 358
- 98b26a19cbeb
equal
deleted
inserted
replaced
| 354:baf9bcc98d87 | 355:4db3ecd4d1ea |
|---|---|
| 356 "}\n" | 356 "}\n" |
| 357 ; | 357 ; |
| 358 | 358 |
| 359 #elif GTK_MAJOR_VERSION == 3 | 359 #elif GTK_MAJOR_VERSION == 3 |
| 360 static const char *ui_gtk_css = | 360 static const char *ui_gtk_css = |
| 361 "#path-textfield-box {" | 361 "#path-textfield-box {\n" |
| 362 " background-color: @theme_base_color;" | 362 " background-color: @theme_base_color;\n" |
| 363 " border-radius: 5px;" | 363 " border-radius: 5px;\n" |
| 364 " padding: 0px;" | 364 " padding: 0px;\n" |
| 365 "}"; | 365 "}" |
| 366 ".ui_test {\n" | |
| 367 " background-color: red;\n" | |
| 368 "}\n" | |
| 369 ".ui_label_heading {\n" | |
| 370 " font-weight: bold;\n" | |
| 371 "}\n" | |
| 372 ; | |
| 366 #endif | 373 #endif |
| 367 | 374 |
| 368 void ui_css_init(void) { | 375 void ui_css_init(void) { |
| 369 ui_gtk_css_provider = gtk_css_provider_new(); | 376 ui_gtk_css_provider = gtk_css_provider_new(); |
| 370 | 377 |
