bugfix: tipp vs. tipp

2024-12-08 13:56:24 +01:00
parent c46e9163e9
commit d8670daf63
3 changed files with 7 additions and 6 deletions
@@ -74,8 +74,8 @@ class FiftyOhmHtmlRenderer(HtmlRenderer):

        if(token.tagtype == "webmargin"):
            type = "margin"
-        elif(token.tagtype == "webtipp"):
-            type = "tipp"
+        elif(token.tagtype == "webtip"):
+            type = "tip"
        elif(token.tagtype == "webindepth"):
            type = "indepth"
        else :