From 8578047ab11eaed8f25cf5ca5ff05a796b94bf3b Mon Sep 17 00:00:00 2001 From: Jean Sirmai Date: Wed, 29 May 2024 07:08:13 +0200 Subject: [PATCH] WIP: cleaning ... --- TODO (next version).txt | 3 +++ src/ui/contain.c | 2 +- src/ui/window.c | 4 ++-- 3 files changed, 6 insertions(+), 3 deletions(-) diff --git a/TODO (next version).txt b/TODO (next version).txt index 27e58b2..532716c 100644 --- a/TODO (next version).txt +++ b/TODO (next version).txt @@ -49,6 +49,9 @@ Faut-il coder cette option ? -------------------------- notes, refs, doc, liens ------------------------- +https://www.gnu.org/software/guile-gnome/docs/gtk/html/GtkToolButton.html + + SIGNAL ------ https://web.mit.edu/barnowl/share/gtk-doc/html/gobject/signal.html diff --git a/src/ui/contain.c b/src/ui/contain.c index bc49bca..547e609 100644 --- a/src/ui/contain.c +++ b/src/ui/contain.c @@ -193,7 +193,7 @@ gtk_actionable_set_action_name (run_edit, "app.togglerunedit"); GtkNotebook *run_notebook = GTK_NOTEBOOK (gtk_notebook_new()); -// gtk_notebook_set_tab_pos (run_notebook, GTK_POS_TOP); // TOP par défaut ? possible : GTK_POS_LEFT +// gtk_notebook_set_tab_pos (run_notebook, GTK_POS_TOP); // TOP par défaut ? sinon : GTK_POS_LEFT gtk_notebook_append_page (run_notebook, get_run_space_page_new(), gtk_label_new ("space")); gtk_notebook_append_page (run_notebook, get_run_rules_page_new(), gtk_label_new ("rules")); diff --git a/src/ui/window.c b/src/ui/window.c index 5fd831c..f66c306 100644 --- a/src/ui/window.c +++ b/src/ui/window.c @@ -168,7 +168,7 @@ void ui_toggle_run_edit() case 1: gtk_stack_set_visible_child_full(window->main_stack, "edition", GTK_STACK_TRANSITION_TYPE_CROSSFADE); gtk_stack_set_visible_child_full(window->side_stack, "edition", GTK_STACK_TRANSITION_TYPE_CROSSFADE); - gtk_menu_button_set_icon_name (GTK_MENU_BUTTON (window->main_button_run_edit), "document-edit-symbolic"); + gtk_button_set_icon_name (GTK_BUTTON (window->main_button_run_edit), "document-edit-symbolic"); gtk_paned_set_position(window->main_paned, 300); set_run_edit_mode (0); // (EDIT_MODE); // ui_setup_glarea(EDIT_MODE, GTK_WIDGET(window->edition_glarea_box)); @@ -176,7 +176,7 @@ void ui_toggle_run_edit() case 0: gtk_stack_set_visible_child_full(window->main_stack, "run", GTK_STACK_TRANSITION_TYPE_CROSSFADE); gtk_stack_set_visible_child_full(window->side_stack, "run", GTK_STACK_TRANSITION_TYPE_CROSSFADE); - gtk_menu_button_set_icon_name (GTK_MENU_BUTTON (window->main_button_run_edit), "system-run-symbolic"); + gtk_button_set_icon_name (GTK_BUTTON (window->main_button_run_edit), "system-run-symbolic"); gtk_paned_set_position(window->main_paned, 200); set_run_edit_mode (1); // (EDIT_MODE); // ui_setup_glarea(RUN_MODE, GTK_WIDGET(window->run_glarea_box));