Add ability to reduce/change size of GtkScale's slider button
There are some case, when it is required to have ability to scale widgets. And GtkScale especially.
For example in PyCharm you can see how thin are elements in action bar at the bottom of the screen. You can see the same approach in Sublime Text editor And others applications, where vertical space is important and devoted to main content (text in case of text editors)
To accommodate full power of reusing standard GTK widgets it's required to scale them, at least at some basic presets.
You can see example, where GtkScale was downsized (and paddings deleted for internal action bar widgets): Comparing to default behaviour:
I think ability to downsize standard widgets gives better user experience, and less wonder from GUI developers, they don't have reinvent their custom widgets and can reuse polished ones from standard GTK, without fear of breaking them when theme will be updated or changed.
Also, it add consistency of what is possible to do with widgets. For example for GtkSwitch it is already possible to do that:
.switch-inverse {
font-weight: bold;
border-radius: 3px;
}
.switch-inverse switch {
font-size: 10px;
}
.switch-inverse slider {
min-height: 10px;
min-width: 23px;
}
But for GtkScale properties min-height
and min-width
doesn't allow to do the same (because of background image of slider I think)
Also because all png are generated from svg by using simple script, it may be simple to automate generation of these presets.