Allowed plugins to extend the current theme.

1 files changed, 4 insertions, 50 deletions

diff --git a/src/gui/core/theme.c b/src/gui/core/theme.c
index 83bcf4e..1c3ad12 100644
--- a/src/gui/core/theme.c
+++ b/src/gui/core/theme.c
@@ -43,16 +43,12 @@
 #include "../../common/extstr.h"
 #include "../../common/xdg.h"
 #include "../../core/logs.h"
-#include "../../plugins/pglist.h"
 
 
 
 /* Parcourt un répertoire donné à la recherche de thèmes. */
 static void look_for_editor_themes(const char *);
 
-/* Parcourt tous les greffons à la recherche de définitions CSS. */
-static bool extend_with_plugins_themes(GdkScreen *, gboolean);
-
 
 /* Répertoires de recherche */
 static const char *_themes_directories[] = {
@@ -239,7 +235,10 @@ bool apply_gtk_theme(const char *name)
             break;
         }
 
-    if (result)
+    if (!result)
+        log_variadic_message(LMT_ERROR, _("Theme '%s' not found!"), name);
+
+    else
     {
         screen = gdk_screen_get_default();
 
@@ -321,48 +320,3 @@ GtkCssProvider *load_css_content(GdkScreen *screen, const char *path)
     return result;
 
 }
-
-
-/******************************************************************************
-*                                                                             *
-*  Paramètres  : screen = écran visé par le chargement d'un thème.            *
-*                dark   = indique une préférence pour la variante foncée.     *
-*                                                                             *
-*  Description : Parcourt tous les greffons à la recherche de définitions CSS.*
-*                                                                             *
-*  Retour      : Bilan de l'opération.                                        *
-*                                                                             *
-*  Remarques   : -                                                            *
-*                                                                             *
-******************************************************************************/
-
-static bool extend_with_plugins_themes(GdkScreen *screen, gboolean dark)
-{
-    bool result;                            /* Bilan à renvoyer            */
-    char **resources;                       /* Fichiers supplémentaires    */
-    size_t count;                           /* Nombre de ces fichiers      */
-    size_t i;                               /* Boucle de parcours          */
-    GtkCssProvider *provider;               /* Nouveau fournisseur CSS     */
-
-    result = true;
-
-    resources = NULL;
-    count = 0;
-
-    include_plugin_theme(&resources, &count);
-
-    for (i = 0; i < count && result; i++)
-    {
-        provider = load_css_content(screen, resources[i]);
-        g_clear_object(&provider);
-
-        free(resources[i]);
-
-    }
-
-    if (resources != NULL)
-        free(resources);
-
-    return result;
-
-}