Add scroolToLine when clicking on an error message, also add a hover background color to error messages (#199)

This commit is contained in:
Domingo Alvarez Duarte 2022-05-06 16:22:45 +02:00 committed by GitHub
parent a558c51aa1
commit 04b737a515
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 4 additions and 0 deletions

View File

@ -119,6 +119,7 @@ function makeOnClickInInfo(editor) {
return function () { return function () {
const el = $(this); const el = $(this);
editor.navigateTo(el.data('ln') - 1, el.data('col') - 1); editor.navigateTo(el.data('ln') - 1, el.data('col') - 1);
editor.scrollToLine(el.data('ln') - 1, true, false, null);
editor.focus(); editor.focus();
} }
}; };

View File

@ -66,6 +66,9 @@ body {
.editor-info li { .editor-info li {
cursor: pointer; cursor: pointer;
} }
.editor-info li:hover{
background-color: yellow;
}
.editor-sub-header { .editor-sub-header {
padding: 4px 8px; padding: 4px 8px;
} }