##// END OF EJS Templates
added delete button into repository settings form, it makes more natural to have it there....
added delete button into repository settings form, it makes more natural to have it there. Users where confused by my account -> my repos where deletion is also possible

File last commit:

r1888:f91d3f9b beta
r3084:2ec4a2a5 beta
Show More
search_path.html
26 lines | 822 B | text/html | HtmlLexer
##path search
%for cnt,sr in enumerate(c.formated_results):
%if h.HasRepoPermissionAny('repository.write','repository.read','repository.admin')(sr['repository'],'search results check'):
<div class="search_path">
<div class="link">
${h.link_to(h.literal('%s &raquo; %s' % (sr['repository'],sr['f_path'])),
h.url('files_home',repo_name=sr['repository'],revision='tip',f_path=sr['f_path']))}
</div>
</div>
%else:
%if cnt == 0:
<div class="error">
<div class="link">
${_('Permission denied')}
</div>
</div>
%endif
%endif
%endfor
%if c.cur_query and c.formated_results:
<div class="pagination-wh pagination-left">
${c.formated_results.pager('$link_previous ~2~ $link_next')}
</div>
%endif