##// END OF EJS Templates
pr: Rename update response flag `success` -> `executed`...
pr: Rename update response flag `success` -> `executed` The name `success` may be misleading beacuse a skipped updated can be interpreted as success or failure. The new name `executed` is clearer because its only `True` if the update is really executed.

File last commit:

r731:7a6d3636 default
r1083:1492beda 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>