wikimedia/mediawiki-extensions-Linter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter synced 2024-11-13 17:57:15 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Linter/modules
History
Bartosz Dziewoński d18262cfa1 Scroll the textbox to selection (error location) on page load 
Only doing 'setSelection' doesn't guarantee that the textbox will be
scrolled (it works on Firefox and Edge, but not on Chrome and IE).

Bug: T152760
Change-Id: I3fab6363cd432d137430884eaca3555a7bf5aafa
2019-06-09 19:37:15 +00:00
..
ext.linter.edit.js Scroll the textbox to selection (error location) on page load 2019-06-09 19:37:15 +00:00