[ Version ( since = "3.10" ) ]
public void set_scale (int scale)
Sets the scale to use when getting image assets for the style.
You should not use this api
| this |
a `GtkStyleContext` |
| scale |
scale |