##// END OF EJS Templates
files-source: allow making a range selection with shift on file lines.
files-source: allow making a range selection with shift on file lines.

File last commit:

r1282:90601d74 default
r2483:aae8d716 default
Show More
widgets.mako
18 lines | 441 B | application/x-mako | MakoHtmlLexer
<%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>