[enhance] WBoostrap: changed WBoostrap.Button API a bit, documented a…

… little more
alokmenghrajani · Dec 24, 2011 · 85b3b2b · 85b3b2b
1 parent 915add2
commit 85b3b2b
Show file tree

Hide file tree

Showing 2 changed files with 132 additions and 82 deletions.
diff --git a/stdlib/core/xhtml/xhtml.opa b/stdlib/core/xhtml/xhtml.opa
@@ -1236,6 +1236,18 @@ Xhtml =
     end
     aux(x)
 
+  /**
+   * Add a title attribute to an xhtml node.
+   * No verification on wether the xhtml supports title attribute is made
+   */
+  add_title(t:string, x:xhtml) : xhtml = Xhtml.add_attribute_unsafe("title", t, x)
+
+  /**
+   * Add/Update ths class attribute of an xhtml node, by appending a certain class.
+   * No verification on wether the xhtml supports class attribute is made
+   */
+  update_class(c:string, x:xhtml) : xhtml = Xhtml.update_attribute_unsafe("class", c, x)
+
   /**
    * Add style to the xhtml (added to pre-exiting style)
    * When the future position of the style is not clear (several possible node), it encapsulated everything in a div