vector<Gtk::MenuItem*> selection_dependent_items;
Gtk::MenuItem* redirect_paste_item;
gint redirect_menu_map_handler (GdkEventAny *ev);
vector<Gtk::MenuItem*> selection_dependent_items;
Gtk::MenuItem* redirect_paste_item;
gint redirect_menu_map_handler (GdkEventAny *ev);
- Gtk::Menu * build_redirect_menu (Gtk::CList&);
- void build_redirect_tooltip (Gtk::CList&, Gtk::EventBox&, string);
+ Gtk::Menu * build_redirect_menu (Gtk::TreeView&);
+ void build_redirect_tooltip (Gtk::TreeView&, Gtk::EventBox&, string);