Oskar 3e09482239 Improve scrolling behavior of headers
This was way too much work -.-
2020-12-03 00:28:06 +01:00
..
2020-12-01 13:08:40 +01:00