StyleProperties.merge

void merge(gtk.style_properties.StyleProperties propsToMerge, bool replace)

Merges into props all the style information contained in props_to_merge. If replace is true, the values will be overwritten, if it is false, the older values will prevail.

Parameters

`propsToMerge`	a second #GtkStyleProperties
`replace`	whether to replace values or not

Deprecated

#GtkStyleProperties are deprecated.