Bug#898637: Pluma text editor crashes when scrolling while hovering over a tab

["C. Masloch" <pushbx@38.de>]

> I can't reproduce the issue, it works fine here
>
> Do you have the same problem in pluma 1.20.0 ?
>
> If it works fine for you in 1.20.0, then this new feature causes the
bug:
>
> https://github.com/mate-desktop/pluma/pull/276

I installed libgtk-3-dev, libenchant-dev, gobject-introspection,
yelp-tools, and mate-common, and then I did this:

$ git clone git://github.com/mate-desktop/pluma
$ cd pluma
$ git checkout v1.20.0
$ ./autogen.sh && make && sudo make install

This checked out revision 29d362e10ff63935fa1ecc12a0156b43fd3c11b9 and
the bug does not occur any longer in the program compiled from that.
Scrolling while hovering either a filename or the empty space next to
the tab headers does nothing.


I tried re-installing Debian's pluma package, but that didn't restore
the pluma command when run from a terminal. (How do I go back to using
Debian's packages?) Instead, I did this then:

$ git checkout master
$ ./autogen.sh && make && sudo make install

This checked out revision 7b7cd3f48b52cbfb3591a61e43c40492c2ac3a72 and
the bug does happen with that for me.

I've noticed that the bug only occurs when directly pointing at one of
the filenames, or one of the tab close buttons. When pointing either
below the filename (just above the editing area) or pointing into the
empty space to the right of the tab headers, scrolling does switch the
active tab as intended.

Regards,
ecm