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
36
37
38
39
40
41
42
43

{% extends "base.htm" %}
{% block title %}
 Tool results: 
 {%if repo.getDescription %}
  {{repo.getDescription}}
 {%else%}
  {{repo.id}}
 {%endif%}
{% endblock %}

{% block content %}
<h1>Tool results:  {{repo.getDescription}}</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 class="span4" style="text-align: center">
  <h3>Paste #{{repo.id}}</h3>
 </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 %}