From 73d105e0f44f025f36ba84f2fe76016ba96ed80e Mon Sep 17 00:00:00 2001
From: Romain Vigier <romain@romainvigier.fr>
Date: Wed, 16 Oct 2019 14:13:37 +0200
Subject: [PATCH] Add support for HighContrast theme

---
 src/extension.js | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/src/extension.js b/src/extension.js
index 59af603..98014d3 100644
--- a/src/extension.js
+++ b/src/extension.js
@@ -47,8 +47,14 @@ function enable() {
 	// Store the current user theme and build day and night variants
 	interface_settings = new Gio.Settings({ schema: 'org.gnome.desktop.interface' });
 	original_user_theme = _get_theme();
-	user_theme_day = original_user_theme.replace('-dark', '');
-	user_theme_night = user_theme_day + '-dark';
+	if ( original_user_theme.includes('HighContrast') ) {
+		user_theme_day = 'HighContrast';
+		user_theme_night = 'HighContrastInverse';
+	}
+	else {
+		user_theme_day = original_user_theme.replace('-dark', '');
+		user_theme_night = user_theme_day + '-dark';
+	}
 
 	// Connect to session bus, listen to Color changes and change theme variant
 	try {