Fix jitter when hovering edge of scroll area close to resize splitter#7803

emilk merged 1 commit intomainemilk/egui:mainfrom

emilk/fix-scroll-jitteremilk/egui:emilk/fix-scroll-jitterCopy head branch name to clipboard