Mirrors/circuitjs1
2
0
Fork 0
mirror of https://github.com/pfalstad/circuitjs1.git synced 2026-03-24 01:06:57 +01:00
Code Issues Packages Projects Releases Wiki Activity

ignore svg

Browse Source
This commit is contained in:
Paul Falstad
2026-02-23 22:53:56 -08:00
parent 7fd2556336
commit 4ec191bd9e
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
lang/getstrings.py
View File

@@ -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):