38°5 et de boutons partout... ma qué ?
This commit is contained in:
parent
0c2530020d
commit
50c85871e2
|
@ -37,10 +37,10 @@ GtkWidget *get_edit_discuss_page_new(){
|
|||
return xxx_grid;
|
||||
}
|
||||
|
||||
GtkWidget *get_edit_help_page_new(){
|
||||
// GtkWidget *edit_help_grid = gtk_grid_new();
|
||||
// gtk_grid_attach (GTK_GRID(edit_help_grid), GTK_WIDGET(get_frame_with_label()), 0, 0, 1, 1);
|
||||
// return edit_help_grid;
|
||||
GtkWidget *get_edit_help_faq_page_new(){
|
||||
// GtkWidget *edit_help_faq_grid = gtk_grid_new();
|
||||
// gtk_grid_attach (GTK_GRID(edit_help_faq_grid), GTK_WIDGET(get_frame_with_label()), 0, 0, 1, 1);
|
||||
// return edit_help_faq_grid;
|
||||
return NULL;
|
||||
}
|
||||
|
||||
|
@ -69,10 +69,10 @@ GtkWidget *get_run_discuss_page_new(){
|
|||
return discuss_grid;
|
||||
}
|
||||
|
||||
GtkWidget *get_run_help_page_new(){
|
||||
// GtkWidget *run_help_grid = gtk_grid_new();
|
||||
// gtk_grid_attach (GTK_GRID(run_help_grid), GTK_WIDGET(get_frame_with_label()), 0, 0, 1, 1);
|
||||
// return run_help_grid;
|
||||
GtkWidget *get_run_help_faq_page_new(){
|
||||
// GtkWidget *run_help_faq_grid = gtk_grid_new();
|
||||
// gtk_grid_attach (GTK_GRID(run_help_faq_grid), GTK_WIDGET(get_frame_with_label()), 0, 0, 1, 1);
|
||||
// return run_help_faq_grid;
|
||||
return NULL;
|
||||
}
|
||||
|
||||
|
@ -183,13 +183,46 @@ void experimental_activate_00 (GtkApplication *app, GtkWindow *window) {
|
|||
GtkWidget *title = GTK_WIDGET (gtk_label_new ("GemGraph 0.1.0"));
|
||||
title = GTK_WIDGET (gtk_label_new ("E coli (with permission from David S. Goodsell, 2009)"));
|
||||
gtk_header_bar_set_title_widget (GTK_HEADER_BAR (header_bar), title);
|
||||
GtkWidget *run_edit = gtk_toggle_button_new ();
|
||||
gtk_button_set_icon_name (GTK_BUTTON (run_edit), "document-edit-symbolic");
|
||||
gtk_button_set_icon_name (GTK_BUTTON (run_edit), "system-run-symbolic");
|
||||
gtk_actionable_set_action_name (GTK_ACTIONABLE (run_edit), "app.togglerunedit");
|
||||
gtk_header_bar_pack_start (GTK_HEADER_BAR (header_bar), run_edit);
|
||||
GtkWidget *run_edit_mode = gtk_toggle_button_new ();
|
||||
gtk_button_set_icon_name (GTK_BUTTON (run_edit_mode), "document-edit-symbolic");
|
||||
gtk_button_set_icon_name (GTK_BUTTON (run_edit_mode), "system-run-symbolic");
|
||||
gtk_button_set_icon_name (GTK_BUTTON (run_edit_mode), "text-editor-symbolic");
|
||||
gtk_actionable_set_action_name (GTK_ACTIONABLE (run_edit_mode), "app.togglerunedit");
|
||||
gtk_header_bar_pack_start (GTK_HEADER_BAR (header_bar), run_edit_mode);
|
||||
gtk_window_set_titlebar (window, header_bar);
|
||||
|
||||
GtkWidget *run_stop_model_exec = gtk_button_new ();
|
||||
gtk_button_set_icon_name (GTK_BUTTON (run_stop_model_exec), "system-shutdown-symbolic");
|
||||
gtk_button_set_icon_name (GTK_BUTTON (run_stop_model_exec), "media-playback-start-symbolic");
|
||||
gtk_button_set_icon_name (GTK_BUTTON (run_stop_model_exec), "media-playback-pause-symbolic");
|
||||
gtk_header_bar_pack_start (GTK_HEADER_BAR (header_bar), run_stop_model_exec);
|
||||
|
||||
// https://iconduck.com/sets/adwaita-icon-theme
|
||||
|
||||
GtkWidget *help_faq = gtk_button_new ();
|
||||
gtk_button_set_icon_name (GTK_BUTTON (help_faq), "help-faq-symbolic");
|
||||
gtk_header_bar_pack_end (GTK_HEADER_BAR (header_bar), help_faq);
|
||||
|
||||
GtkWidget *preferences_desktop_appearance = gtk_button_new ();
|
||||
gtk_button_set_icon_name (GTK_BUTTON (preferences_desktop_appearance), "preferences-desktop-appearance-symbolic");
|
||||
gtk_header_bar_pack_end (GTK_HEADER_BAR (header_bar), preferences_desktop_appearance);
|
||||
|
||||
GtkWidget *preferences_system = gtk_button_new ();
|
||||
gtk_button_set_icon_name (GTK_BUTTON (preferences_system), "preferences-system-symbolic");
|
||||
gtk_header_bar_pack_end (GTK_HEADER_BAR (header_bar), preferences_system);
|
||||
|
||||
GtkWidget *go_home = gtk_button_new ();
|
||||
gtk_button_set_icon_name (GTK_BUTTON (go_home), "go-home-symbolic");
|
||||
gtk_header_bar_pack_end (GTK_HEADER_BAR (header_bar), go_home);
|
||||
|
||||
GtkWidget *applications_utilities = gtk_button_new ();
|
||||
gtk_button_set_icon_name (GTK_BUTTON (applications_utilities), "applications-utilities-symbolic");
|
||||
gtk_header_bar_pack_end (GTK_HEADER_BAR (header_bar), applications_utilities);
|
||||
|
||||
GtkWidget *document_properties = gtk_button_new ();
|
||||
gtk_button_set_icon_name (GTK_BUTTON (document_properties), "document-properties-symbolic");
|
||||
gtk_header_bar_pack_end (GTK_HEADER_BAR (header_bar), document_properties);
|
||||
|
||||
GtkNotebook *run_notebook = GTK_NOTEBOOK (gtk_notebook_new());
|
||||
// gtk_notebook_set_tab_pos (run_notebook, GTK_POS_TOP); // TOP par défaut, I presume. Sinon : GTK_POS_LEFT
|
||||
|
||||
|
@ -198,7 +231,7 @@ void experimental_activate_00 (GtkApplication *app, GtkWindow *window) {
|
|||
gtk_notebook_append_page (run_notebook, get_run_measures_page_new(),gtk_label_new ("measures"));
|
||||
gtk_notebook_append_page (run_notebook, get_run_results_page_new(), gtk_label_new ("results"));
|
||||
gtk_notebook_append_page (run_notebook, get_run_discuss_page_new(), gtk_label_new ("interpret"));
|
||||
gtk_notebook_append_page (run_notebook, get_run_help_page_new(), gtk_label_new ("help"));
|
||||
gtk_notebook_append_page (run_notebook, get_run_help_faq_page_new(), gtk_label_new ("help_faq"));
|
||||
|
||||
GtkNotebook *edit_notebook = GTK_NOTEBOOK (gtk_notebook_new());
|
||||
|
||||
|
@ -207,7 +240,7 @@ void experimental_activate_00 (GtkApplication *app, GtkWindow *window) {
|
|||
gtk_notebook_append_page (edit_notebook, get_edit_measures_page_new(),gtk_label_new ("measures"));
|
||||
gtk_notebook_append_page (edit_notebook, get_edit_results_page_new(), gtk_label_new ("results"));
|
||||
gtk_notebook_append_page (edit_notebook, get_edit_discuss_page_new(), gtk_label_new ("interpret"));
|
||||
gtk_notebook_append_page (edit_notebook, get_edit_help_page_new(), gtk_label_new ("help"));
|
||||
gtk_notebook_append_page (edit_notebook, get_edit_help_faq_page_new(), gtk_label_new ("help_faq"));
|
||||
|
||||
GtkWidget *run_xor_edit_horizontal_pane = gtk_paned_new (GTK_ORIENTATION_HORIZONTAL);
|
||||
gtk_widget_set_size_request (run_xor_edit_horizontal_pane, 0, 0);
|
||||
|
|
Loading…
Reference in New Issue