##// END OF EJS Templates
pull-requests: moved the delete logic into the show view....
pull-requests: moved the delete logic into the show view. - delete from pr view is more intuitive - there was several support queries about beeing confused how to delete a pr

File last commit:

r731:7a6d3636 default
r1085:a6c56473 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>