Searched refs:edge_left_button (Results 1 – 2 of 2) sorted by relevance
152 GtkWidget* edge_left_button; member
224 gtk_widget_set_sensitive(p->edge_left_button, in update_edges_buttons()1117 p->edge_left_button = w; in panel_configure()