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

Reply via email to