Hm, this is confusing. Talking over it with @fantasai, we thought this was an issue with the root being a scroller and thus not triggering shifting (because you can instead extend the scrollable area) ...