> 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