--- a/src/Pure/Thy/html.scala Tue Jun 27 23:21:30 2017 +0200
+++ b/src/Pure/Thy/html.scala Wed Jun 28 11:02:58 2017 +0200
@@ -274,8 +274,11 @@
XML.elem(
Markup("input", List("type" -> "hidden") ::: optional_value(text) ::: optional_name(name)))
- def form(body: XML.Body, name: String = "", action: String = ""): XML.Elem =
- XML.Elem(Markup("form", optional_name(name) ::: optional_action(action)), body)
+ def form(body: XML.Body, name: String = "", action: String = "", http_post: Boolean = false)
+ : XML.Elem =
+ XML.Elem(
+ Markup("form", optional_name(name) ::: optional_action(action) :::
+ (if (http_post) List("method" -> "post") else Nil)), body)
}