From c9bc609c8f2be5ab1ab0d6e3618aa7b8e74268a3 Mon Sep 17 00:00:00 2001
From: Alhaziel <tomas.massarenti@gmail.comm>
Date: Thu, 6 Jun 2019 11:24:48 +0200
Subject: [PATCH] Mike's theme added

---
 resources/settings.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/resources/settings.xml b/resources/settings.xml
index b58c1f94..3651121a 100644
--- a/resources/settings.xml
+++ b/resources/settings.xml
@@ -54,7 +54,7 @@
                  default="70137" visible="eq(-3,True)+eq(-1,True)+eq(-2,False)" enable="eq(-3,True)+eq(-1,True)+(-2,false)"/>
    </category>
     <category label="70126">
-        <setting id="icon_set" type="labelenum" label="70108" values="default|light|dark|alfa" default="default"/>
+        <setting id="icon_set" type="labelenum" label="70108" values="default|light|dark|alfa|mike" default="default"/>
         <setting id="enable_custom_theme" type="bool" label="70564" default="false"/>
         <setting id="custom_theme" type="folder" label="70565" default="" visible="eq(-1,true)"/>
         <setting id="infoplus_set" type="labelenum" label="70128" lvalues="70129|70130" default="70129"/>