285 UiObject *ui_get_active_window() { |
287 UiObject *ui_get_active_window() { |
286 return active_window; |
288 return active_window; |
287 } |
289 } |
288 |
290 |
289 |
291 |
|
292 #if GTK_MAJOR_VERSION >= 3 |
|
293 |
|
294 static GtkCssProvider* ui_gtk_css_provider; |
|
295 |
|
296 static const char *ui_gtk_css = |
|
297 "#path-textfield-box {" |
|
298 " background-color: @theme_base_color;" |
|
299 " border-radius: 5px;" |
|
300 " padding: 0px;" |
|
301 "}"; |
|
302 |
|
303 void ui_css_init(void) { |
|
304 ui_gtk_css_provider = gtk_css_provider_new(); |
|
305 gtk_css_provider_load_from_data(ui_gtk_css_provider, ui_gtk_css, -1, NULL); |
|
306 |
|
307 GdkScreen *screen = gdk_screen_get_default(); |
|
308 gtk_style_context_add_provider_for_screen( |
|
309 screen, |
|
310 GTK_STYLE_PROVIDER(ui_gtk_css_provider), |
|
311 GTK_STYLE_PROVIDER_PRIORITY_USER); |
|
312 } |
|
313 |
|
314 |
|
315 |
|
316 #endif |