comparison: ui/gtk/toolkit.c
ui/gtk/toolkit.c
- changeset 48
- ae61523bce20
- parent 45
- ab71409644b0
- child 51
- e324291ca9f8
equal
deleted
inserted
replaced
| 47:3ac472683246 | 48:ae61523bce20 |
|---|---|
| 339 " background-color: #00000000;" | 339 " background-color: #00000000;" |
| 340 " border-top-left-radius: 6px;" | 340 " border-top-left-radius: 6px;" |
| 341 " border-bottom-left-radius: 6px;" | 341 " border-bottom-left-radius: 6px;" |
| 342 " border-top-right-radius: 0px;" | 342 " border-top-right-radius: 0px;" |
| 343 " border-bottom-right-radius: 0px;" | 343 " border-bottom-right-radius: 0px;" |
| 344 "}" | 344 "}\n" |
| 345 ".pathbar-button-inactive {\n" | |
| 346 " color: alpha(currentColor, 0.5);" | |
| 347 "}\n" | |
| 345 ; | 348 ; |
| 346 | 349 |
| 347 #elif GTK_MAJOR_VERSION == 3 | 350 #elif GTK_MAJOR_VERSION == 3 |
| 348 static const char *ui_gtk_css = | 351 static const char *ui_gtk_css = |
| 349 "#path-textfield-box {" | 352 "#path-textfield-box {" |
