Johannes Meyer c736c7114a loader.js: Mark extra updates as scripted and refreshes
If a view is refreshed, this ensures that the scroll
position doesn't change now.
2022-04-25 12:11:22 +02:00
..
2021-05-17 10:44:27 +02:00