From 04b737a515ceeeb32611764c39c520838b29f735 Mon Sep 17 00:00:00 2001
From: Domingo Alvarez Duarte <mingodad@gmail.com>
Date: Fri, 6 May 2022 16:22:45 +0200
Subject: [PATCH] Add scroolToLine when clicking on an error message, also add
 a hover background color to error messages (#199)

---
 docs/index.js  | 1 +
 docs/style.css | 3 +++
 2 files changed, 4 insertions(+)

diff --git a/docs/index.js b/docs/index.js
index 9067757..0efddd8 100644
--- a/docs/index.js
+++ b/docs/index.js
@@ -119,6 +119,7 @@ function makeOnClickInInfo(editor) {
   return function () {
     const el = $(this);
     editor.navigateTo(el.data('ln') - 1, el.data('col') - 1);
+    editor.scrollToLine(el.data('ln') - 1, true, false, null);
     editor.focus();
   }
 };
diff --git a/docs/style.css b/docs/style.css
index b5d611b..4250820 100644
--- a/docs/style.css
+++ b/docs/style.css
@@ -66,6 +66,9 @@ body {
 .editor-info li {
   cursor: pointer;
 }
+.editor-info li:hover{
+  background-color: yellow;
+}
 .editor-sub-header {
   padding: 4px 8px;
 }