Permalink
Browse files

[fix] bootstrap: fix bootstrap widget page_header generation

  • Loading branch information...
1 parent f5176e4 commit a5e84452c6401c68429ae55f27585207e388e42a @Aqua-Ye Aqua-Ye committed Nov 7, 2011
Showing with 3 additions and 3 deletions.
  1. +3 −3 stdlib/widgets/bootstrap/bootstrap.opa
@@ -585,9 +585,9 @@ WBootstrap = {{
page_header(level:int, title:string, subtitle:option(string)) =
sub = match subtitle
- {some=s} -> <>{" "}</><small>{s}</small>
- {none} -> <></>;
- <div>{Typography.header(level, some(sub), <>{title}</>)}</div>
+ {some=s} -> some(<>{s}</>)
+ {none} -> none
+ <div>{Typography.header(level, sub, <>{title}</>)}</div>
|> update_class("page-header", _)
inner(content:xhtml) =

0 comments on commit a5e8445

Please sign in to comment.