[webkit-changes] [WebKit/WebKit] c56a5e: [GTK] Scrollbar jumps to top when drag released ou...

[Michael Catanzaro]

  Branch: refs/heads/main
  Home:   https://github.com/WebKit/WebKit
  Commit: c56a5e4e1e4484bb001e80f32f421ffda9017050
      https://github.com/WebKit/WebKit/commit/c56a5e4e1e4484bb001e80f32f421ffda9017050
  Author: Michael Catanzaro <mcatanzaro at redhat.com>
  Date:   2023-05-26 (Fri, 26 May 2023)

  Changed paths:
    M Source/WebKit/UIProcess/API/gtk/WebKitWebViewBase.cpp

  Log Message:
  -----------
  [GTK] Scrollbar jumps to top when drag released outside window
https://bugs.webkit.org/show_bug.cgi?id=238327

Reviewed by Carlos Garcia Campos.

The scroll position jumps to the top of the window because we synthesize
a motion event at coordinates (-1, -1) to indicate the pointer has left
the web view. Instead, let's pick coordinates that are just outside the
view and close to the last known position of the pointer within the
view.

* Source/WebKit/UIProcess/API/gtk/WebKitWebViewBase.cpp:
(webkitWebViewBaseLeave):

Canonical link: https://commits.webkit.org/264582@main