Re: [fltk/fltk] Moved global FLTK options into new app fltk-admin (PR #560)

FLTK Apps FLTK Library Forums Links Login

[ All Forums | Back to fltk.issues ]

[ Previous Message ]

[ New Message | Reply ]

[ Next Message ]

Re: [fltk/fltk] Moved global FLTK options into new app fltk-admin (PR #560) Albrecht Schlosser Nov 27, 2022

@ManoloFLTK made a good point in this comment.

At a first look I thought fltk-admin is OK but after thinking about it and reading Manolo's argument I'm not sure that admin is the best choice. In many cases users will want to edit their preferences and having a program named ..-admin sounds wrong for "normal users".

Maybe fltk-prefs or, as Manolo suggested, something with "option" would be better, maybe fltk-options. Given these alternate choices I would propose fltk-prefs because it would be short and it would say what it does (changes) for FLTK users.

—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.

[ Direct Link to Message ]

[ Previous Message ]

[ New Message | Reply ]

[ Next Message ]