##// END OF EJS Templates
diffs: fixed outdated files in pull-requests re-using the filediff raw_id for anchor generation....
diffs: fixed outdated files in pull-requests re-using the filediff raw_id for anchor generation. In some cases when there are no longer any files this caused error since filediff wasn't present. In addition this generated wrong ids since it used a last-defined attribute on a for loop. Fixes #5567

File last commit:

r1282:90601d74 default
r3830:5bbd362b stable
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>