Scrolling with the scrollbar is fine. Scrolling with arrow-up/down cause surprising jumps. It is sometimes hard to use arrows to reach the middle of such a inset.
Helge Hafting
When I have a branch inset taller than the main window, scrolling
becomes problematic.
