data/templates/tool.htm


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35

{% extends "base.htm" %}
{% block title %}
 Tool results: {{repo.getTitle}}
{% endblock %}

{% block content %}
<h1>Tool results:  {{repo.getTitle}}</h1>
<div class="row-fluid repo-info">
 <div class="span4">
  <a class="btn" href="{{repo.getLink('edit')}}"><i class="icon-edit"></i> edit</a>
  <a class="btn" href="{{repo.getLink('display')}}"><i class="icon-arrow-left"></i> back</a>
 </div>
</div>

 {% for line in toolres.annotations.general %}
  <div class="alert {{line.getAlertLevel}}">
   {{line.message}}
  </div>
 {% endfor %}

 {% include 'display-file.htm' %}

 <div class="annotations">
 {% for number,lineinfos in toolres.annotations if number != 'general' %}
  {% for line in lineinfos %}
   <div class="alert {{line.getAlertLevel}}">
    Line #{{number}}: {{line.message}}
   </div>
  {% endfor %}
 {% endfor %}
 </div>

 {% include 'display-foot.htm' %}
{% endblock %}