mediawiki-extensions-Revisi.../modules
Tobias Gritschacher da8f7fb064 Update pointer position attributes immediately
Update attributes right after setting position and
don't wait until revisions are refreshed.

Change-Id: Ic32a554d6939806ce95d4e7b441ee08965b81940
2016-10-12 15:31:38 +02:00
..
ext.RevisionSlider.Api.js Add eslint, to be used instead of jscs and/or jshint 2016-09-05 09:47:11 +02:00
ext.RevisionSlider.css Add fixed padding for scrollbar 2016-09-28 14:27:51 +02:00
ext.RevisionSlider.DiffPage.js Always apply data-pos attribute to pointers as well 2016-10-10 14:52:45 +00:00
ext.RevisionSlider.HelpDialog.js Close HelpDialouge when clicking away from it 2016-09-15 12:01:08 +02:00
ext.RevisionSlider.init.js Merge "Close HelpDialouge when clicking away from it" 2016-09-15 10:14:33 +00:00
ext.RevisionSlider.noscript.css Convert the few instances of IDs to classes 2016-08-10 15:32:12 -07:00
ext.RevisionSlider.Pointer.js Convert the few instances of IDs to classes 2016-08-10 15:32:12 -07:00
ext.RevisionSlider.PointerView.js Fix position of pointers in RTL mode 2016-09-06 18:03:11 +02:00
ext.RevisionSlider.Revision.js Add eslint, to be used instead of jscs and/or jshint 2016-09-05 09:47:11 +02:00
ext.RevisionSlider.RevisionList.js Fetch more revisions as the user moves back and forward 2016-07-28 12:58:35 +02:00
ext.RevisionSlider.RevisionListView.js Close tooltips when clicking somewhere outside of them 2016-09-01 13:25:24 +02:00
ext.RevisionSlider.Slider.js Enhance code documentation. 2016-06-21 13:25:50 +02:00
ext.RevisionSlider.SliderView.js Update pointer position attributes immediately 2016-10-12 15:31:38 +02:00