WIP: cleaning ...

This commit is contained in:
Jean Sirmai 2024-05-29 07:08:13 +02:00
parent c918d68cbf
commit 8578047ab1
Signed by: jean
GPG Key ID: FB3115C340E057E3
3 changed files with 6 additions and 3 deletions

View File

@ -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

View File

@ -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"));

View File

@ -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));