From a72ec65b3ac7e17a101892d9260b81ddf4343509 Mon Sep 17 00:00:00 2001
From: Filip Gralinski <filipg@amu.edu.pl>
Date: Sat, 25 Feb 2017 21:01:19 +0100
Subject: [PATCH] add icon for editing a submission

---
 templates/submission-status.hamlet | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/templates/submission-status.hamlet b/templates/submission-status.hamlet
index 8acae12..34c9287 100644
--- a/templates/submission-status.hamlet
+++ b/templates/submission-status.hamlet
@@ -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">