60 lines
2 KiB
HTML
60 lines
2 KiB
HTML
|
{% extends "submission/info-base.html" %}
|
||
|
|
{% block media %}
|
||
|
|
<style>
|
||
|
|
.line {
|
||
|
|
position: relative;
|
||
|
|
}
|
||
|
|
|
||
|
|
.highlighter {
|
||
|
|
position: absolute;
|
||
|
|
width: 9999px;
|
||
|
|
top: 0;
|
||
|
|
bottom: 0;
|
||
|
|
left: 0;
|
||
|
|
right: 0;
|
||
|
|
}
|
||
|
|
|
||
|
|
a:active .line .highlighter {
|
||
|
|
background: rgba(255, 212, 0, 0.48);
|
||
|
|
}
|
||
|
|
</style>
|
||
|
|
{% endblock %}
|
||
|
|
|
||
|
|
{% block body %}
|
||
|
|
<br>
|
||
|
|
<div><a href="{{ url('submission_status', submission.id) }}">{{ _('View status') }}</a></div>
|
||
|
|
<div><a href="{{ url('submission_source_raw', submission.id) }}">{{ _('View raw source') }}</a></div>
|
||
|
|
{% if request.user == submission.user.user or perms.judge.resubmit_other %}
|
||
|
|
<div><a href="{{ url('problem_submit', submission.problem.code, submission.id) }}">{{ _('Resubmit') }}</a></div>
|
||
|
|
{% endif %}
|
||
|
|
{% if perms.judge.rejudge_submission %}
|
||
|
|
<div>
|
||
|
|
<form action="{{ url('submission_rejudge') }}" method="post">
|
||
|
|
{% csrf_token %}
|
||
|
|
<a href="#" onclick="parentNode.submit()">{{ _('Rejudge') }}</a>
|
||
|
|
<input type="hidden" name="id" value="{{ submission.id }}">
|
||
|
|
<input type="hidden" name="path" value="{{ url('submission_status', submission.id) }}">
|
||
|
|
</form>
|
||
|
|
</div>
|
||
|
|
{% endif %}
|
||
|
|
<br>
|
||
|
|
<hr class="half-hr">
|
||
|
|
<br>
|
||
|
|
<div class="source-wrap">
|
||
|
|
<table>
|
||
|
|
<tr>
|
||
|
|
<td class="source-ln">
|
||
|
|
<div>
|
||
|
|
{% for line in raw_source.split('\n') %}
|
||
|
|
<a href="#line-{{ loop.index }}" name="line-{{ loop.index }}">
|
||
|
|
<pre class="line">{{ loop.index }}</pre>
|
||
|
|
</a>
|
||
|
|
{% endfor %}
|
||
|
|
</div>
|
||
|
|
</td>
|
||
|
|
<td class="source-code">{{ highlighted_source }}</td>
|
||
|
|
</tr>
|
||
|
|
</table>
|
||
|
|
</div>
|
||
|
|
{% endblock %}
|