Galley scrolling bug

I’ve noticed a bug sevberal times today where after entering a large amount of music (say, 200 bars or so), the galley view will refuse to scroll farther (scrollbar is at end, clicking does nothing, etc), despire there being lots of more empty bars following.

This can be fixed by switching to page and then back to galley.

It happened again just now and I thought to screenshot it this time…


AFter page/galley swap

Can now scroll to end

Yes, sorry about this. We’re using a heuristic to try to avoid unnecessary movements in galley view, but it’s a bit too aggressive and as a result it’s not being notified of all changes to the geometry of the page. We should have a fix for this in the first maintenance update, coming pretty soon.