Searched refs:tabmanagergui_create_infobar (Results 1 – 2 of 2) sorted by relevance
64 tabmanagergui_create_infobar (tp); in tabmanagergui_create_page()81 void tabmanagergui_create_infobar (GuTabPage* tp) { in tabmanagergui_create_infobar() function
87 void tabmanagergui_create_infobar (GuTabPage* tp);