Allowed plugins to extend the current theme.

1 files changed, 32 insertions, 0 deletions

diff --git a/src/gui/theme.c b/src/gui/theme.c
index dc3d1bb..3ed294a 100644
--- a/src/gui/theme.c
+++ b/src/gui/theme.c
@@ -33,6 +33,7 @@
 
 #include "core/theme.h"
 #include "../common/xml.h"
+#include "../plugins/pglist.h"
 
 
 
@@ -393,6 +394,13 @@ static void g_editor_theme_load_section(GEditorTheme *theme, GdkScreen *screen,
 
 void g_editor_theme_load(GEditorTheme *theme, GdkScreen *screen, gboolean dark)
 {
+    char **resources;                       /* Fichiers supplémentaires    */
+    size_t count;                           /* Nombre de ces fichiers      */
+    size_t i;                               /* Boucle de parcours          */
+    GtkCssProvider *provider;               /* Nouveau fournisseur CSS     */
+
+    /* Chargement du thème global courant */
+
     g_editor_theme_load_section(theme, screen, dark, "common");
 
     if (dark)
@@ -400,4 +408,28 @@ void g_editor_theme_load(GEditorTheme *theme, GdkScreen *screen, gboolean dark)
     else
         g_editor_theme_load_section(theme, screen, dark, "light");
 
+    /* Chargement des thèmes des greffons */
+
+    resources = NULL;
+    count = 0;
+
+    include_plugin_theme(dark, &resources, &count);
+
+    for (i = 0; i < count; i++)
+    {
+        provider = load_css_content(screen, resources[i]);
+
+        if (provider != NULL)
+        {
+            theme->providers = realloc(theme->providers, ++theme->count * sizeof(GtkCssProvider *));
+            theme->providers[theme->count - 1] = provider;
+        }
+
+        free(resources[i]);
+
+    }
+
+    if (resources != NULL)
+        free(resources);
+
 }