Defined new config parameters for the edge colors.

1 files changed, 260 insertions, 10 deletions

diff --git a/src/gui/dialogs/preferences.c b/src/gui/dialogs/preferences.c
index dcb4cc7..8fd1961 100644
--- a/src/gui/dialogs/preferences.c
+++ b/src/gui/dialogs/preferences.c
@@ -27,6 +27,92 @@
 #include <i18n.h>
 
 
+#include "prefs_fgraph.h"
+#include "prefs_labels.h"
+#include "../../core/params.h"
+
+
+
+/* Constructeur de panneau de paramétrage */
+typedef GtkWidget * (* prefs_panel_creation_cb) (GtkBuilder **);
+
+/* Chargement de la configuration */
+typedef void (* prefs_config_update_cb) (GtkBuilder *, GGenConfig *);
+
+/* Description d'un noeud de préférences */
+typedef struct _pref_node_desc_t
+{
+    prefs_panel_creation_cb create;         /* Procédure de création       */
+    prefs_config_update_cb load;            /* Procédure de chargement     */
+    prefs_config_update_cb store;           /* Procédure d'enregistrement  */
+
+    const char *name;                       /* Désignation interne         */
+    const char *title;                      /* Désignation humaine         */
+
+    GtkBuilder *builder;                    /* Constructeur GTK            */
+    GtkWidget *panel;                       /* Panneau GTK                 */
+
+    struct _pref_node_desc_t *children;     /* Sous-arborescence           */
+
+} pref_node_desc_t;
+
+
+#define PREF_NODE_NULL_ENTRY { .title = NULL }
+
+
+/* Liste des paramétrages à afficher */
+static pref_node_desc_t _prefs_nodes[] = {
+
+    {
+        .create = NULL,
+
+        .title = "Analysis",
+
+        .children = (pref_node_desc_t []){
+
+            {
+                .create = create_labels_preferences,
+                .load = load_labels_configuration,
+                .store = store_labels_configuration,
+
+                .name = "labels",
+                .title = "Colored labels",
+
+            },
+
+            PREF_NODE_NULL_ENTRY
+
+        }
+
+    },
+
+    {
+        .create = NULL,
+
+        .title = "Editor",
+
+        .children = (pref_node_desc_t []){
+
+            {
+                .create = create_fgraph_preferences,
+                .load = load_fgraph_configuration,
+                .store = store_fgraph_configuration,
+
+                .name = "fgraph",
+                .title = "Function graph",
+
+            },
+
+            PREF_NODE_NULL_ENTRY
+
+        }
+
+    },
+
+    PREF_NODE_NULL_ENTRY
+
+};
+
 
 /* Eléments de la liste de sections */
 typedef enum _PrefListItem
@@ -37,6 +123,71 @@ typedef enum _PrefListItem
 } PrefListItem;
 
 
+/* Ajoute un panneau de paramétrage à la boîte de dialogue. */
+static void add_preferences_node(GtkTreeStore *, GtkTreeIter *, GGenConfig *, GtkStack *, pref_node_desc_t *);
+
+/* Affiche le panneau correspondant au noeud sélectionné. */
+static void on_prefs_selection_changed(GtkTreeSelection *, GtkBuilder *);
+
+/* Lance la sauvegarde d'éléments de paramétrage. */
+static void store_preferences_node(GGenConfig *, pref_node_desc_t *);
+
+/* Sauvegarde l'ensemble des paramètres de configuration. */
+static void on_prefs_apply_button_clicked(GtkButton *, GtkBuilder *);
+
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : store  = arborescence des sections à compléter.              *
+*                parent = point d'insertion du parent.                        *
+*                config = configuration globale à charger.                    *
+*                stack  = pile de composants GTK à constituer.                *
+*                node   = noeud de description courant à traiter.             *
+*                                                                             *
+*  Description : Ajoute un panneau de paramétrage à la boîte de dialogue.     *
+*                                                                             *
+*  Retour      : -                                                            *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+static void add_preferences_node(GtkTreeStore *store, GtkTreeIter *parent, GGenConfig *config, GtkStack *stack, pref_node_desc_t *node)
+{
+    GtkTreeIter iter;                       /* Point d'insertion           */
+    pref_node_desc_t *child;                /* Sous-élément à traiter      */
+
+    if (node->create == NULL)
+    {
+        node->builder = NULL;
+        node->panel = NULL;
+    }
+    else
+    {
+        node->panel = node->create(&node->builder);
+
+        node->load(node->builder, config);
+
+        gtk_widget_show(node->panel);
+
+        gtk_stack_add_named(stack, node->panel, node->name);
+
+    }
+
+    gtk_tree_store_append(store, &iter, parent);
+
+    gtk_tree_store_set(store, &iter,
+                       PLI_TITLE, _(node->title),
+                       PLI_PANEL, node->panel,
+                       -1);
+
+    if (node->children != NULL)
+        for (child = node->children; child->title != NULL; child++)
+            add_preferences_node(store, &iter, config, stack, child);
+
+}
+
 
 /******************************************************************************
 *                                                                             *
@@ -55,8 +206,11 @@ GtkWidget *create_preferences_dialog(GtkWindow *parent, GtkBuilder **outb)
 {
     GtkWidget *result;                      /* Fenêtre à renvoyer          */
     GtkBuilder *builder;                    /* Constructeur utilisé        */
+    GGenConfig *config;                     /* Configuration globale       */
+    GtkStack *stack;                        /* Pile à mettre à jour        */
     GtkTreeStore *store;                    /* Arborescence des sections   */
-    GtkTreeIter iter;                       /* Point d'insertion           */
+    pref_node_desc_t *iter;                 /* Boucle de parcours          */
+    GtkTreeView *treeview;                  /* Arborescence principale     */
 
     builder = gtk_builder_new_from_resource("/org/chrysalide/gui/dialogs/preferences.ui");
     *outb = builder;
@@ -67,27 +221,123 @@ GtkWidget *create_preferences_dialog(GtkWindow *parent, GtkBuilder **outb)
 
     /* Intégration des différentes sections */
 
+    config = get_main_configuration();
+
+    stack = GTK_STACK(gtk_builder_get_object(builder, "stack"));
+
     store = GTK_TREE_STORE(gtk_builder_get_object(builder, "pref_list"));
 
-    gtk_tree_store_append(store, &iter, NULL);
+    for (iter = _prefs_nodes; iter->title != NULL; iter++)
+        add_preferences_node(store, NULL, config, stack, iter);
 
-    gtk_tree_store_set(store, &iter,
-                       PLI_TITLE, _("Colored labels"),
-                       PLI_PANEL, gtk_builder_get_object(builder, "colored_labels_panel"),
-                       -1);
+    treeview = GTK_TREE_VIEW(gtk_builder_get_object(builder, "treeview"));
 
-    /* Mise à jour de l'interface */
+    gtk_tree_view_expand_all(treeview);
 
     /* Connexion des signaux */
 
-    /*
     gtk_builder_add_callback_symbols(builder,
-                                     "update_preferences", G_CALLBACK(update_preferences),
+                                     "on_prefs_selection_changed", G_CALLBACK(on_prefs_selection_changed),
+                                     "on_prefs_apply_button_clicked", G_CALLBACK(on_prefs_apply_button_clicked),
                                      NULL);
-    */
 
     gtk_builder_connect_signals(builder, builder);
 
     return result;
 
 }
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : selection = sélection courante de l'arborescence des options.*
+*                builder = constructeur GTK avec toutes les références.       *
+*                                                                             *
+*  Description : Affiche le panneau correspondant au noeud sélectionné.       *
+*                                                                             *
+*  Retour      : -                                                            *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+static void on_prefs_selection_changed(GtkTreeSelection *selection, GtkBuilder *builder)
+{
+    GtkTreeModel *model;                    /* Gestionnaire de données     */
+    GtkTreeIter iter;                       /* Position courante           */
+    GtkWidget *panel;                       /* Panneau à mettre en avant   */
+    GtkStack *stack;                        /* Pile à mettre à jour        */
+
+    if (gtk_tree_selection_get_selected(selection, &model, &iter))
+    {
+        gtk_tree_model_get(model, &iter, PLI_PANEL, &panel, -1);
+
+        stack = GTK_STACK(gtk_builder_get_object(builder, "stack"));
+
+        if (panel == NULL)
+            gtk_stack_set_visible_child_name(stack, "empty");
+
+        else
+        {
+            gtk_stack_set_visible_child(stack, panel);
+
+            g_object_unref(G_OBJECT(panel));
+
+        }
+
+    }
+
+}
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : config = configuration globale à actualiser.                 *
+*                node   = noeud de description courant à traiter.             *
+*                                                                             *
+*  Description : Lance la sauvegarde d'éléments de paramétrage.               *
+*                                                                             *
+*  Retour      : -                                                            *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+static void store_preferences_node(GGenConfig *config, pref_node_desc_t *node)
+{
+    pref_node_desc_t *child;                /* Sous-élément à traiter      */
+
+    if (node->create != NULL)
+        node->store(node->builder, config);
+
+    if (node->children != NULL)
+        for (child = node->children; child->title != NULL; child++)
+            store_preferences_node(config, child);
+
+}
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : button  = bouton GTK à l'origine de l'opération.             *
+*                builder = constructeur GTK avec toutes les références.       *
+*                                                                             *
+*  Description : Sauvegarde l'ensemble des paramètres de configuration.       *
+*                                                                             *
+*  Retour      : -                                                            *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+static void on_prefs_apply_button_clicked(GtkButton *button, GtkBuilder *builder)
+{
+    GGenConfig *config;                     /* Configuration globale       */
+    pref_node_desc_t *iter;                 /* Boucle de parcours          */
+
+    config = get_main_configuration();
+
+    for (iter = _prefs_nodes; iter->title != NULL; iter++)
+        store_preferences_node(config, iter);
+
+}