To: lablgtk at math.nagoya-u.ac.jp
Subject: How to set a tooltip on a view_column?
From: David MENTRE <dmentre at linux-france.org>
Organization: none
Date: Tue, 03 Jan 2006 19:37:45 +0100
Message-ID: <87fyo55f9i.fsf at linux-france.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii

Hello,

I would like to set a tooltip on the title of a Tree View column.

I tried following code:

let set_column_tooltip ~tip ~col =
  match col#widget with
  | None -> ()
  | Some widget -> MiscUI.tooltips_group#set_tip ~text:tip widget

[...]
  let add_toggle_column ~title ~tip ~backend_col =
    let renderer = GTree.cell_renderer_toggle [] in
    let col = GTree.view_column ~title 
        ~renderer:(renderer, ["active", backend_col]) () in
    col#set_sort_column_id backend_col.GTree.index;
    col#set_sort_indicator true;

    set_column_tooltip ~col ~tip;

    ignore(view#append_column col) in


However, the "col#widget" of my freshly created view_column alaways
return None. How can I get the widget of the view_column? Is there any
other way to add a tooltip on a Tree View column?

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