WIP: cleaning...

This commit is contained in:
Jean Sirmai 2024-05-28 23:08:39 +02:00
parent b8904d66dd
commit dfca0b41c0
Signed by: jean
GPG Key ID: FB3115C340E057E3
1 changed files with 5 additions and 4 deletions

View File

@ -181,13 +181,14 @@ void window_bar(GtkWindow *window, char *title){
void experimental_activate_00 (GtkApplication *app, GtkWindow *window) { void experimental_activate_00 (GtkApplication *app, GtkWindow *window) {
// window_bar (window, "E coli (with permission from David S. Goodsell, 2009)"); // window_bar (window, "E coli (with permission from David S. Goodsell, 2009)");
GtkWidget *my_header_bar = gtk_header_bar_new (); 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)"))); gtk_header_bar_set_title_widget (GTK_HEADER_BAR (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_edit = gtk_toggle_button_new ();
gtk_button_set_icon_name (run_edit, "document-edit-symbolic"); gtk_button_set_icon_name (GTK_BUTTON (run_edit), "document-edit-symbolic");
gtk_button_set_icon_name (run_edit, "system-run-symbolic"); gtk_button_set_icon_name (GTK_BUTTON (run_edit), "system-run-symbolic");
// gtk_toggle_button_set_active (run_edit, TRUE); // gtk_toggle_button_set_active (run_edit, TRUE);
// gtk_actionable_set_action_name (run_edit, "togglerunedit"); // gtk_actionable_set_action_name (run_edit, "togglerunedit");
gtk_header_bar_pack_start (my_header_bar, run_edit); // gtk_actionable_set_action_target_value (GTK_WIDGET (run_edit), "togglerunedit"); // ui_toggle_run_edit() GVariant
gtk_header_bar_pack_start (GTK_HEADER_BAR (my_header_bar), run_edit);
gtk_window_set_titlebar (window, my_header_bar); gtk_window_set_titlebar (window, my_header_bar);