filipg/gonito
1
0
Fork 1
Code Issues 1 Pull Requests Releases Wiki Activity

add icon for editing a submission

Browse Source
This commit is contained in:
Filip Gralinski 2017-02-25 21:01:19 +01:00
parent d52b149d04
commit a72ec65b3a
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
templates/submission-status.hamlet
View File

@ -1,6 +1,11 @@
$if isOwner
<a href="@{EditSubmissionR submissionId}">
<span class="glyphicon glyphicon-pencil" title="click to edit the submission" aria-hidden="true">
$if isVisible
<a href="@{QueryResultsR commitHash}">
<span class="glyphicon glyphicon-info-sign" title="click to see the detailed information" aria-hidden="true">
$maybe browsableUrl <- maybeBrowsableUrl
<a href="#{browsableUrl}">
<span class="glyphicon glyphicon-folder-open" title="click to see the files aria-hidden="true">