From 95a87a660d0a5837b472eb67df8ece20a8f454fd Mon Sep 17 00:00:00 2001 From: Jean Sirmai Date: Tue, 28 May 2024 22:34:22 +0200 Subject: [PATCH] je m'amuse avec les widgets... cf : gtk_header_bar_pack_start (my_header_bar, run_edit); --- src/ui/contain.c | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/ui/contain.c b/src/ui/contain.c index 03922cd..26e59ff 100644 --- a/src/ui/contain.c +++ b/src/ui/contain.c @@ -182,8 +182,11 @@ void experimental_activate_00 (GtkApplication *app, GtkWindow *window) { GtkWidget *my_header_bar = gtk_header_bar_new (); gtk_header_bar_set_title_widget (my_header_bar, GTK_WIDGET (gtk_label_new ("E coli (with permission from David S. Goodsell, 2009)"))); GtkWidget *run_edit = gtk_toggle_button_new (); + GtkWidget *run_edit2 = gtk_toggle_button_new (); gtk_button_set_icon_name (run_edit, "system-run-symbolic"); + gtk_button_set_icon_name (run_edit2, "document-edit-symbolic"); gtk_header_bar_pack_start (my_header_bar, run_edit); + gtk_header_bar_pack_start (my_header_bar, run_edit2); gtk_window_set_titlebar (window, my_header_bar);