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; }