I know that there are a few hardcoded values that could be changed or be a function of a related font height. We have already a way to set the width of scroll bars on a per-application base, as well as per-widget. You can set the line spacing for menus.

It would certainly be possible to add this for other fixed values as well, like margins. It would be great to have a list to find the really important settings, so we can still stay Fast and Light

We should come up with a smart system to store these settings. There is already a tendency to add the same fontsize(), fontcolor(), labelsize() list of parameters after every non-standard widget. Instead of random global settings and massive attribute lists, I would like to suggest the introduction of styles.

—
Reply to this email directly, view it on GitHub, or unsubscribe.
Triage notifications on the go with GitHub Mobile for iOS or Android.
You are receiving this because you are subscribed to this thread.Message ID: <fltk/fltk/issues/371/1013402452@github.com>