Jakob Warkotsch cf12a390f6 Resume slider scroll position after refresh. ... This fixes a bug that caused the slider to always show the first "page" after a refresh even if a different page was selected before the refresh. Change-Id: Ic5defd28f699617be6cf2ae5827e90f294d616b5		2016-05-19 15:03:38 +02:00
..
ext.RevisionSlider.css	Add wrapper with hover effect for revisions	2016-05-19 12:46:14 +02:00
ext.RevisionSlider.DiffPage.js	Resume slider scroll position after refresh.	2016-05-19 15:03:38 +02:00
ext.RevisionSlider.fetchRevisions.js	If the slider fails to load then fail nicely!	2016-05-12 09:46:39 +01:00
ext.RevisionSlider.init.js	Show useful error if either rev is not in our range	2016-05-12 16:44:34 +01:00
ext.RevisionSlider.Pointer.js	Get rid of left and right pointers.	2016-05-13 11:23:11 +00:00
ext.RevisionSlider.PointerView.js	Get rid of left and right pointers.	2016-05-13 11:23:11 +00:00
ext.RevisionSlider.Revision.js	Use correct time offset based on server and user settings	2016-05-13 11:02:20 +00:00
ext.RevisionSlider.RevisionList.js	Adds the missing first revision to the slider.	2016-05-12 15:25:37 +00:00
ext.RevisionSlider.RevisionListView.js	Add wrapper with hover effect for revisions	2016-05-19 12:46:14 +02:00
ext.RevisionSlider.Slider.js	add events to history	2016-05-12 08:36:28 +00:00
ext.RevisionSlider.SliderView.js	Change the position of the "newid" pointer	2016-05-19 11:02:42 +02:00