From 2ce76093b3523f2357ff594fd217a77ed2ff4deb Mon Sep 17 00:00:00 2001
From: Elohiem <anon@anon.anon>
Date: Mon, 22 Feb 2021 15:12:05 +0100
Subject: [PATCH] added new render option

---
 src/gui/options/options.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/gui/options/options.js b/src/gui/options/options.js
index 90faa04dd30..090d2960482 100644
--- a/src/gui/options/options.js
+++ b/src/gui/options/options.js
@@ -1036,7 +1036,7 @@ App.UI.artOptions = function() {
 
 	if (V.seeImages > 0) {
 		options.addOption("Image style is", "imageChoice")
-			.addValueList([["Revamped embedded vector art", 3], ["Non-embedded vector art", 2], ["NoX/Deepmurk's vector art", 1], ["Shokushu's rendered imagepack", 0]]);
+			.addValueList([["Revamped embedded vector art", 3], ["Non-embedded vector art", 2], ["NoX/Deepmurk's vector art", 1], ["Shokushu's rendered imagepack", 0], ["Elohiem's webgl", 4]]);
 
 		if (V.imageChoice === 1) {
 			options.addComment('<span class="warning">Git compiled only, no exceptions.</span>');
-- 
GitLab