On 15.05.2012 13:50, Matthias Melcher wrote: > > On 15.05.2012, at 11:53, MacArthur, Ian (SELEX GALILEO, UK) wrote: > >> >>> Curious if there's any objections to adding the following controls >>> to the Fl_Tooltip API. Would like to be able to have more control >>> over global tooltips: >>> >>> // Set/get the left/right and top/bottom margins for all tooltips >>> // These allow the app to control the margin area around tooltips >>> on X and Y. >>> // Currently these are hard coded to 6 pixels on X and Y. >>> // >>> void Fl_Tooltip::margin_width(int val); >>> int Fl_Tooltip::margin_width() const; >>> void Fl_Tooltip::margin_height(int val); >>> int Fl_Tooltip::margin_height() const; >>> >>> // Set/get the tooltip maximum width >>> // Currently this is hardcoded in Fl_Tooltip to 400. >>> // >>> void Fl_Tooltip::max_width(int val); >>> int Fl_Tooltip::max_width() const; >>> >>> Looking for +/-1 dev votes and/or comments, alternative names, etc. >> >> >> Yes, sure; +1 > > I have no problem with that either: +1
+1 from me, too. Albrecht _______________________________________________ fltk-dev mailing list fltk-dev@easysw.com http://lists.easysw.com/mailman/listinfo/fltk-dev