Searched refs:tab__rename_key_press_cb (Results 1 – 1 of 1) sorted by relevance
3707 tab__rename_key_press_cb (GtkWidget *widget, GdkEventKey *event, gpointer data) { in tab__rename_key_press_cb() function3742 G_CALLBACK (tab__rename_key_press_cb), NULL); in tab__rename_cb()