css: adjust priority and remove old css

Also set "devel" css when necessary.
This commit is contained in:
Christian Hergert
2021-10-01 15:01:31 -07:00
parent 24ac040563
commit b59e779dfb
4 changed files with 19 additions and 27 deletions

View File

@ -123,7 +123,7 @@ sysprof_theme_manager_do_reload (gpointer data)
gtk_css_provider_load_from_resource (theme_resource->provider, theme_resource->resource);
gtk_style_context_add_provider_for_display (gdk_display_get_default (),
GTK_STYLE_PROVIDER (theme_resource->provider),
GTK_STYLE_PROVIDER_PRIORITY_APPLICATION - 1);
GTK_STYLE_PROVIDER_PRIORITY_THEME+1);
}
}
else