@Albrecht-S I'm guessing OP is making an RFE, asking for general margin control for widget labels (I think?), and perhaps in a more general way, having as many hardcoded values in widgets as possible be adjustable via an API, esp. with respect to changing font sizes. I ran into all this early on too.

I realized looking at fltk's innards that the base widgets were not designed to include the general concepts modern UI's, like margins (top/bot/left/right), font size offsets (like the normalized 'em' values in html (e.g. font-size: 1.2em to make the font 1.2x larger), and I suppose, when fonts are enlarged, some kind of scaling of the margins (so e.g. the 5 pixel margins for a small font would be larger for a large font).

At least I think that's what he's getting at.

I think the best we can offer is an API to change any hard coded margins, as the widgets were not designed to do things like autoscaling and such.

—
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/1013377354@github.com>