|
|
@erco77 "I'm guessing OP is making an RFE, asking for general margin control for widget labels".
My point is that he said "Modern standard font size is around 11pt/13px, which is noticably larger than what FLTK is designed for" but FLTK's standard font size is 14 px which is larger than what he wrote. This is the opposite of what he said, hence I asked him to elaborate. If FLTK's standard size is 14 you can't assume it was designed for smaller for smaller sizes.
— 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/1013432275@github.com>
[ Direct Link to Message ] | |
|
| |