Tentativo fix visualizzazione jstree

(cherry picked from commit 4347e1e)
consiglionazionaledellericerche · Apr 18, 2023 · f8b1519 · f8b1519
1 parent ea062ed
commit f8b1519
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/gulp/copy.js b/gulp/copy.js
@@ -70,7 +70,7 @@ function fonts() {
 }
 
 function jstree() {
-    return gulp.src(config.bower + 'bootstrap-jstree-theme/dist/themes/bootstrap/*.{png,gif}')
+    return gulp.src(config.bower + 'jstree/dist/themes/default/*.{png,gif}')
         .pipe(plumber({errorHandler: handleErrors}))
         .pipe(gulp.dest(config.dist + 'content/css/'));
 }