Missing JQuery UI icons #41

PragmaThemePlugin.inc.php

@@ -42,6 +42,9 @@ public function init() {
 			';
 		}
 
+		$themeUrl = $this->getPluginPath();
+		$additionalLessVariables[] = "@themeUrl: '$themeUrl';";
+
 		// Add navigation menu areas for this theme
 		$this->addMenuArea(array('primary', 'user'));
 

gulpfile.js

@@ -4,6 +4,7 @@ var concat = require("gulp-concat");
 var minifyCSS = require("gulp-csso");
 var sourcemaps = require("gulp-sourcemaps");
 var minify = require("gulp-minify");
+var merge = require("merge-stream");
 
 gulp.task("sass", function () {
 	return gulp.src(["node_modules/bootstrap/scss/bootstrap.scss", "node_modules/jquery-ui-dist/jquery-ui.min.css", "node_modules/tag-it/css/jquery.tagit.css"])
@@ -37,3 +38,10 @@ gulp.task("compileAll", gulp.series("sass", "scripts", "compress"));
 gulp.task("watch", function () {
 	return gulp.watch("resources/js/**/*.js", gulp.series("scripts", "compress"));
 });
+
+// Keeping merge for copying future dependant files
+gulp.task("copyFiles", function () {
+	var jqueryuiImages = gulp.src("node_modules/jquery-ui-dist/images/ui-icons_444444_256x240.png")
+		.pipe(gulp.dest("resources/images"));
+	return merge(jqueryuiImages);
+});

resources/less/forms.less

@@ -125,6 +125,10 @@ input {
 	color: @primary-colour;
 }
 
+.ui-icon, .ui-widget-content .ui-icon, .ui-widget-header .ui-icon {
+	background-image: url("/@{themeUrl}/resources/images/ui-icons_444444_256x240.png");
+}
+
 // Button-like dropdown menu
 
 .dropdown-menu {

resources/less/variables.less

@@ -17,3 +17,6 @@
 @contrast-colour: rgba(0, 0, 0, 0.95);
 @secondary-contrast-colour: rgba(0, 0, 0, 0.75);
 @tertiary-contrast-colour: rgba(0, 0, 0, 0.65);
+
+// To be assign by the theme plugin
+@themeUrl: '';