static void gtk_css_image_icon_theme_print (GtkCssImage *image, GString *string) { GtkCssImageIconTheme *icon_theme = GTK_CSS_IMAGE_ICON_THEME (image); g_string_append (string, "-gtk-icontheme("); _gtk_css_print_string (string, icon_theme->name); g_string_append (string, ")"); }
static void string_append_string (GString *str, const char *string) { _gtk_css_print_string (str, string); }