From T152757#2859176
Linter uses jquery.textSelection to highlight the lint errors it finds. If that selection is not in the visible portion of the textbox, in Firefox it scrolls the textbox to make it visible, but that doesn't work in Chromium - it's highlighted, but not visible.
The linter code is as simple as $( '#wpTextbox1' ).focus().textSelection( 'setSelection', { start: location[ 0 ], end: location[ 1 ] } );.
| Subject | Repo | Branch | Lines +/- | |
|---|---|---|---|---|
| Scroll the textbox to selection (error location) on page load | mediawiki/extensions/Linter | master | +1 -0 |
I'd like to work on issue.
I've installed Parsoid and Linter Extension and uncommented linting: true & linterSendAPI: true in config.yml but when I add lintid parameter in URL I get Database DBQueryError
I've installed Parsoid and Linter Extension
Did you run php maintenance/update.php after installing the extension?
@Arlolra
Thanks for the suggestion, after running maintenance/update.php the DB error was resolved but the error is still not highlighted.
I guess that's just Chrome being terrible. Browsers don't offer any API to scroll to selection in a <textarea>, nor to find out where the selection is rendered onscreen.
jquery.textselection has a 'scrollToCaretPosition' method, but according to comments in its source code "This functions sucks and is off by a few lines most of the time. It should be replaced by something decent".
I searched a little bit, and found this neat StackOverflow suggestion by our very own @Mattflaschen-WMF from five years ago: http://stackoverflow.com/a/7464299 "Basically, the trick is to truncate the textarea, scroll to the end, then restore the second part of the text".
Change 516050 had a related patch set uploaded (by Bartosz Dziewoński; owner: Bartosz Dziewoński):
[mediawiki/extensions/Linter@master] Scroll the textbox to selection (error location) on page load
I completely forgot about this task. I actually implemented the suggestion above in jquery.textselection 'scrollToCaretPosition' method in 2018 (rMWc92dd025f1d3: jquery.textSelection: Rewrite 'scrollToCaretPosition'), as a part of a great cleanup that eventually aimed to allow us to make it compatible with VisualEditor: T185917. Today this was reported to me again by @PMG at a conference and I realized it's simple to fix nowadays thanks to those changes.
Change 516050 merged by jenkins-bot:
[mediawiki/extensions/Linter@master] Scroll the textbox to selection (error location) on page load