From 81258c50402ed4f7eb162938c0cd93a81c8f2c96 Mon Sep 17 00:00:00 2001
From: Aleksey Nagovitsyn <al3x.nag@gmail.com>
Date: Tue, 24 Dec 2019 09:10:09 +0500
Subject: [PATCH] Add "option" to ignoredTags (#2180)

---
 contrib/auto-render/auto-render.js | 2 +-
 docs/autorender.md                 | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/contrib/auto-render/auto-render.js b/contrib/auto-render/auto-render.js
index b00ec57f..1eed7dac 100644
--- a/contrib/auto-render/auto-render.js
+++ b/contrib/auto-render/auto-render.js
@@ -115,7 +115,7 @@ const renderMathInElement = function(elem, options) {
         {left: "\\[", right: "\\]", display: true},
     ];
     optionsCopy.ignoredTags = optionsCopy.ignoredTags || [
-        "script", "noscript", "style", "textarea", "pre", "code",
+        "script", "noscript", "style", "textarea", "pre", "code", "option",
     ];
     optionsCopy.ignoredClasses = optionsCopy.ignoredClasses || [];
     optionsCopy.errorCallback = optionsCopy.errorCallback || console.error;
diff --git a/docs/autorender.md b/docs/autorender.md
index 1709218a..83d6bf5d 100644
--- a/docs/autorender.md
+++ b/docs/autorender.md
@@ -90,7 +90,7 @@ in addition to two auto-render-specific keys:
 
 - `ignoredTags`: This is a list of DOM node types to ignore when recursing
   through. The default value is
-  `["script", "noscript", "style", "textarea", "pre", "code"]`.
+  `["script", "noscript", "style", "textarea", "pre", "code", "option"]`.
 
 - `ignoredClasses`: This is a list of DOM node class names to ignore when
   recursing through. By default, this value is not set.