From 08690e030396e5b54e1616e5fc95bf2889992c26 Mon Sep 17 00:00:00 2001
From: Fabian Homborg <FHomborg@gmail.com>
Date: Fri, 3 Sep 2021 17:37:54 +0200
Subject: [PATCH] Webconfig: Use theme's name if available

The "name" here refers to the `# name:` line from the .theme file.
That's a much more descriptive name and allows using simpler filenames.
---
 share/tools/web_config/js/controllers.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/share/tools/web_config/js/controllers.js b/share/tools/web_config/js/controllers.js
index 9258a7cf8..7f0e66004 100644
--- a/share/tools/web_config/js/controllers.js
+++ b/share/tools/web_config/js/controllers.js
@@ -93,6 +93,7 @@ controllers.controller("colorsController", function($scope, $http) {
             for (var scheme of arg.data) {
                 var currentScheme = { "name": "Current", "colors":[], "preferred_background": "black" };
                 currentScheme["name"] = scheme["theme"];
+                if (scheme["name"]) currentScheme["name"] = scheme["name"];
                 var data = scheme["colors"];
                 if (scheme["preferred_background"]) {
                     if (isValidColor(scheme["preferred_background"])) {