I can write such a getGuiTextSize function for you, but then you still have to apply it for every widget
.
One of the problems is that every widget is different.
You gave a good example yourself with the ComboBox: you cannot set its size. The text size is calculated on the fly and not stored. It would take some work to allow setting a font size in every widget.
Then there is the unfortunate delay between creating the widget and adding it to its parent. If I would make the text size global then this is not an issue, but then you cannot have exceptions. It would be nicer is text size was determined by the parent so that you could have 2 child windows with a different text size for their widgets. But by the time you add a widget to its parent you could have already set a size manually and there is currently no way to detect that.
So its a lot harder on my side than just adding a global function and calling setTextSize on creation
.
.One of the problems is that every widget is different.
You gave a good example yourself with the ComboBox: you cannot set its size. The text size is calculated on the fly and not stored. It would take some work to allow setting a font size in every widget.
Then there is the unfortunate delay between creating the widget and adding it to its parent. If I would make the text size global then this is not an issue, but then you cannot have exceptions. It would be nicer is text size was determined by the parent so that you could have 2 child windows with a different text size for their widgets. But by the time you add a widget to its parent you could have already set a size manually and there is currently no way to detect that.
So its a lot harder on my side than just adding a global function and calling setTextSize on creation
.
.