[Demexp-dev] Re: How to set a tooltip on a view_column?

[David MENTRE]

Arnold <address@hidden> writes:

> here attached the file tree.ml (from lablgtk-2.6.0/examples) modified.
> It works for me.
> The tooltip is displayed when above the header of the column "Title".

Many thanks Arnold, it now works for me thanks to your code.

The important thing is to set the tooltip *after* calling
"view#append_column col" (and also to set the widget with the label).


>   col#set_widget (Some label#coerce);
[...]
>   let _ =
>     match button with
>       None -> ()
>     | Some b ->
>         begin
>           let tooltips = GData.tooltips () in
>           tooltips#set_tip b#coerce ~text:"This is column \"Title\""
>             ~privat:"";
>         end
>   in


Best wishes,
d.
-- 
pub  1024D/A3AD7A2A 2004-10-03 David MENTRE <address@hidden>
 5996 CC46 4612 9CA4 3562  D7AC 6C67 9E96 A3AD 7A2A