From 145ffc085801cbf40a0c7d71f40d7a4be9b5d2cc Mon Sep 17 00:00:00 2001
From: Ricardo Pardini <ricardo@pardini.net>
Date: Fri, 17 Mar 2023 08:15:31 -0300
Subject: [PATCH] add anchors to line numbers (#l500)

---
 static/application.js | 2 +-
 static/index.html     | 6 +++---
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/static/application.js b/static/application.js
index 97f7c3c..e8ce0cc 100644
--- a/static/application.js
+++ b/static/application.js
@@ -223,7 +223,7 @@ haste.prototype.lookupTypeByExtension = function (ext) {
 haste.prototype.addLineNumbers = function (lineCount) {
     var h = '';
     for (var i = 0; i < lineCount; i++) {
-        h += (i + 1).toString() + '<br/>';
+        h += "<a class='linenoitem' id='l" + (i + 1).toString() + "'>" + (i + 1).toString() + "</a>" + '<br/>';
     }
     $('#linenos').html(h);
 };
diff --git a/static/index.html b/static/index.html
index 6e87fde..33250c7 100644
--- a/static/index.html
+++ b/static/index.html
@@ -12,7 +12,7 @@
     <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.7.0/styles/github-dark.min.css"
           integrity="sha512-rO+olRTkcf304DQBxSWxln8JXCzTHlKnIdnMUwYvQa9/Jd4cQaNkItIUj6Z4nvW1dqK0SKXLbn9h4KwZTNtAyw=="
           crossorigin="anonymous" referrerpolicy="no-referrer"/>
-    <link rel="stylesheet" type="text/css" href="application.css"/>
+    <link rel="stylesheet" type="text/css" href="application.css?v=2"/>
     <script src="https://cdnjs.cloudflare.com/ajax/libs/jquery/1.12.4/jquery.min.js"
             integrity="sha512-jGsMH83oKe9asCpkOVkBnUrDDTp8wl+adkB2D+//JtlxO4SrLoJdhbOysIFQJloQFD+C4Fl1rMsQZF76JjV0eQ=="
             crossorigin="anonymous" referrerpolicy="no-referrer"></script>
@@ -23,8 +23,8 @@
 
     <!--<script type="text/javascript" src="application.min.js"></script>-->
 
-    <script type="text/javascript" src="ansi-to-html.js"></script>
-    <script type="text/javascript" src="application.js"></script>
+    <script type="text/javascript" src="ansi-to-html.js?v=2"></script>
+    <script type="text/javascript" src="application.js?v=2"></script>
 
     <meta name="robots" content="noindex,nofollow"/>