Class type Wiki_widgets_interface.​wikibox_aux

class type wikibox_aux = object..end

A class containing a few auxiliary methods related to wikis


method display_basic_box : 
'a 'b.
classes *
([< Html5_types.div_content_fun ] as 'a) Eliom_content.Html5.F.elt list ->
([> Html5_types.div ] as 'b) Eliom_content.Html5.F.elt Lwt.t

Displays some xhtml elements inside a <div>

method display_wikiboxcontent : 
'c 'd.
bi:box_info ->
classes:classes ->
([< Html5_types.flow5 ] as 'c) Eliom_content.Html5.F.elt list
Wiki_types.wikibox_content ->
(classes *
([> Html5_types.flow5 ] as 'd) Eliom_content.Html5.F.elt list)
Lwt.t

Pretty-print the content of a wikibox

method display_raw_wikiboxcontent : 
'a 'e.
classes:classes ->
'a Eliom_content.Html5.F.elt list Wiki_types.wikibox_content ->
(classes *
([> `Em | `Pre ] as 'e) Eliom_content.Html5.F.elt list)
Lwt.t

Display a wikibox without pretty-printing

method wrap_error : 
'f.
wb:Wiki_types.wikibox ->
([< Html5_types.flow5 > `Div ] as 'f) Eliom_content.Html5.F.elt list ->
'f Eliom_content.Html5.F.elt list Lwt.t

If error has is supposed to be displayed for the wikibox wb, displays this error and wraps it together with the xml argument in a div tag. Otherwise, displays only the xml argument