Searched refs:edge_top_button (Results 1 – 2 of 2) sorted by relevance
151 GtkWidget* edge_top_button; member
222 gtk_widget_set_sensitive(p->edge_top_button, in update_edges_buttons()1113 p->edge_top_button = w; in panel_configure()