Hi, On Mi 16 Mai 2018 13:16:41 CEST, C. Masloch wrote:
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 thebug:https://github.com/mate-desktop/pluma/pull/276I 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.
Thanks for these test. I guess this will greatly help upstream to pin down your issue.
Furthermore, I assume you have installed pluma to /usr/local. And I assume, that pluma has a proper "sudo make uninstall" target. Try that, I hope that works for you.
Mike -- DAS-NETZWERKTEAM mike gabriel, herweg 7, 24357 fleckeby mobile: +49 (1520) 1976 148 landline: +49 (4354) 8390 139 GnuPG Fingerprint: 9BFB AEE8 6C0A A5FF BF22 0782 9AF4 6B30 2577 1B31 mail: mike.gabriel@das-netzwerkteam.de, http://das-netzwerkteam.de
Attachment:
pgpdJLSfjzfWB.pgp
Description: Digitale PGP-Signatur