##// END OF EJS Templates
repository-groups: improved detection of repository groups parent....
repository-groups: improved detection of repository groups parent. - set to personal repo group for non-admins - default to root value for super-admins

File last commit:

r731:7a6d3636 default
r1188:8732a902 default
Show More
widgets.html
18 lines | 441 B | text/html | HtmlLexer
<%def name="panel(title='', category='default', class_='')">
<div class="panel panel-${category} ${class_}">
%if title or hasattr(caller, 'title'):
<div class="panel-heading">
<h3 class="panel-title">
%if title:
${title}
%else:
${caller.title()}
%endif
</h3>
</div>
%endif
<div class="panel-body">
${caller.body()}
</div>
</div>
</%def>