[Pharo-dev] Pharo 7 RC - Changing to larger font breaks scrolling in code browsers