This repository has been archived on 2023-03-18. You can view files and clone it, but cannot push or open issues or pull requests.

Joffrey JAFFEUX c6949a26c5 FIX: only applies scroll position to full page (#19011) ... No tests as: - scroll position is not always supe reliable - this should all be replaced by sidebar and is not supposed to change much		2022-11-14 13:21:27 +01:00
..
javascripts	FIX: only applies scroll position to full page (#19011)	2022-11-14 13:21:27 +01:00
stylesheets	FIX: correctly highlights active channel (#18991)	2022-11-11 22:32:06 +01:00