From 1a9277b17c64a3c7840ebd488d625bd17a3bb3b0 Mon Sep 17 00:00:00 2001
From: Bartosz Wesolowski <bartosz.wesolowski@hi-res.de>
Date: Sat, 18 Nov 2017 14:12:34 +0100
Subject: [PATCH] Added line numbers to text area.

---
 public/index.html | 4 +++-
 public/js/app.js  | 2 ++
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/public/index.html b/public/index.html
index 23dc984..f1c7a1f 100644
--- a/public/index.html
+++ b/public/index.html
@@ -3,7 +3,9 @@
     <title>Turtle validator</title>
     <script src="https://code.jquery.com/jquery-2.1.4.min.js"></script>
     <script src="js/ttl.js"></script>
+    <script src="js/lined-textarea.js"></script>
     <link rel="stylesheet" href="css/style.css">
+    <link rel="stylesheet" href="css/lined-textarea.css">
     <link href="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.5/css/bootstrap.min.css" rel="stylesheet">
     <script src="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.5/js/bootstrap.min.js"></script>
   </head>
@@ -15,7 +17,7 @@
       <h2>Paste your turtle file in here and press validate</h2>
       <form>
         <div class="form-group">
-          <textarea class="area" id="ta_turtle"></textarea>
+          <textarea class="area lined" id="ta_turtle"></textarea>
         </div>
         <div class="form-group">
           <input type="button" id="btn_validate" class="btn btn-default" value="Validate!"/>
diff --git a/public/js/app.js b/public/js/app.js
index 2306187..e6d7167 100644
--- a/public/js/app.js
+++ b/public/js/app.js
@@ -17,3 +17,5 @@ $("#btn_validate").click( function () {
     }
   });
 });
+
+$(".lined").linedtextarea();