##// END OF EJS Templates
config: Add argument to convert settings to lowercase or not....
config: Add argument to convert settings to lowercase or not. Most settings should be converted to lowercase during app init. But at least file system paths should not lower cased. Threfore we need a switch to control it.

File last commit:

r731:7a6d3636 default
r1003:7a52996d 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>