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 _______________________________________________ fltk-dev mailing list [email protected] http://lists.easysw.com/mailman/listinfo/fltk-dev
