Searched refs:tilda_terminal_get_title (Results 1 – 3 of 3) sorted by relevance
85 gchar * tilda_terminal_get_title (tilda_term *tt);
94 char * current_title = tilda_terminal_get_title (term); in tilda_terminal_switch_page_cb()237 gchar * title = tilda_terminal_get_title (tt); in window_title_changed_cb()1055 gchar *tilda_terminal_get_title (tilda_term *tt) in tilda_terminal_get_title() function
375 title = tilda_terminal_get_title (tt); in window_title_change_all()