From 4ec191bd9e6cde5340cde79894c75fcc2e48fe3d Mon Sep 17 00:00:00 2001
From: Paul Falstad <paul@falstad.com>
Date: Mon, 23 Feb 2026 22:53:56 -0800
Subject: [PATCH] ignore svg

---
 lang/getstrings.py | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/lang/getstrings.py b/lang/getstrings.py
index 3b291304..9cae2d1a 100644
--- a/lang/getstrings.py
+++ b/lang/getstrings.py
@@ -12,6 +12,10 @@ output = []
 def checkString(bstr, str, astr, line):
   if re.search("\+ *$", bstr):
     return
+  if re.search("<svg>", str):
+    return
+  if re.search("</svg>", str):
+    return
   if re.search("^ *\+", astr):
     return
   if re.search("Elm$", str):