Searched refs:plot_edges_frame (Results 1 – 1 of 1) sorted by relevance
36 GtkWidget *plot_edges_frame, *plot_exec_speed_frame, *plot_high_freq_frame, in main() local59 &plot_edges_frame); in main()89 plot_edges_frame = gtk_frame_new("Edges"); in main()90 gtk_frame_set_shadow_type(GTK_FRAME(plot_edges_frame), GTK_SHADOW_IN); in main()91 gtk_container_set_border_width(GTK_CONTAINER(plot_edges_frame), 10); in main()94 gtk_container_add(GTK_CONTAINER(plot_edges_frame), plot_edges); in main()121 gtk_paned_pack1(GTK_PANED(pane1), plot_edges_frame, TRUE, FALSE); in main()