points in sTeX problems

UniFormal · Oct 12, 2023 · d6a2933 · d6a2933
1 parent 6edb37f
commit d6a2933
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/src/mmt-stex/src/info/kwarc/mmt/stex/Extensions/DocumentExtension.scala b/src/mmt-stex/src/info/kwarc/mmt/stex/Extensions/DocumentExtension.scala
@@ -903,7 +903,11 @@ trait SHTMLDocumentServer { this : STeXServer =>
 
       override def onAdd: Unit = {
         super.onAdd
-        plain.attributes((this.namespace, "data-problem-points")) = plain.attributes.getOrElse((HTMLParser.ns_shtml,"problempoints"),"0")
+        this.findAncestor {
+          case p: Problem => p
+        }.foreach { p =>
+          p.plain.attributes((this.namespace, "data-problem-points")) = plain.attributes.getOrElse((HTMLParser.ns_shtml, "problempoints"), "0")
+        }
       }
     }
     case class ProblemMinutes(orig: HTMLNode) extends SHTMLNode(orig) {