Searched refs:tool_palette_set_active_button (Results 1 – 3 of 3) sorted by relevance
28 void tool_palette_set_active_button(GtkWidget *widget, const char *button_name);
73 tool_palette_set_active_button(main_window, "pen_button"); in main_window_ui_initial_adjustment()
511 void tool_palette_set_active_button(GtkWidget *widget, const char *button_name) in tool_palette_set_active_button() function