On Mon, 08 Dec 2008 12:59:13 +0000, ntrel@users.sourceforge.net wrote:

base_name = g_path_get_basename(DOC_FILENAME(doc));

• /* we need to use the event box for the tooltip, labels don't

get the necessary events */ parent = gtk_widget_get_parent(doc->priv->tab_label);

• parent = gtk_widget_get_parent(parent);

  gtk_label_set_text(GTK_LABEL(doc->priv->tab_label),

base_name); gtk_label_set_text(GTK_LABEL(doc->priv->tabmenu_label), base_name);

Oops, sorry. On GTK >= 2.12 it works also with the tab_label's parent, so I couldn't notice this :).

Regards, Enrico