[Gambas-bugtracker] Bug #2767: splitter gets mousemove when textarea drag text

[bugtracker at gambaswiki.org]

http://gambaswiki.org/bugtracker/edit?object=BUG.2767&from=L21haW4-

Comment #8 by Benoît MINISINI:

It should be fixed by https://gitlab.com/gambas/gambas/-/commit/89a2c884f9300f7e7a11718041eb30e10e1a8f02.

That commit disables a GTK+ workaround introduced ten years ago. Maybe it is not needed anymore?

Benoît MINISINI changed the state of the bug to: Fixed.