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

2018-05-21 Thread C. Masloch
> Please, can you check if this patch fixes the bug? Yes, that fixes the bug. Now scrolling while pointing at filenames, tab close buttons, or the free space to the right of the tab headers, all work as expected. That is, they switch the active tab, and no crash seems to occur any longer.

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

2018-05-16 Thread C. Masloch
On at 2018-05-16 11:19 +, Mike Gabriel wrote: > 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

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

2018-05-16 Thread C. Masloch
> 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,

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

2018-05-16 Thread Mike Gabriel
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 the bug: https://github.com/mate-desktop/pluma/pull/276 I installed

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

2018-05-15 Thread Mike Gabriel
Hi, On Di 15 Mai 2018 12:50:38 CEST, C. Masloch wrote: On at 2018-05-15 07:44 +, Mike Gabriel wrote: Testing in a Debian unstable chroot did not let me reproduce above error. Please test with a new / fresh user account and let me know if that issue still persists. Mike I did that

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

2018-05-15 Thread C. Masloch
On at 2018-05-15 07:44 +, Mike Gabriel wrote: > Testing in a Debian unstable chroot did not let me reproduce above error. > > Please test with a new / fresh user account and let me know if that issue > still persists. > > Mike I did that test, the same bug occurs. I may have not been

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

2018-05-15 Thread Mike Gabriel
Control: tags -1 moreinfo Hi again, On Mo 14 Mai 2018 15:19:53 CEST, C. Masloch wrote: Package: pluma Version: 1.20.1-2 The MATE desktop environment visual editor Pluma crashes whenever I scroll (press either the mousewheel up or down button) while the mouse cursor is hovering over one of

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

2018-05-15 Thread Mike Gabriel
Hi, On Mo 14 Mai 2018 15:19:53 CEST, C. Masloch wrote: Package: pluma Version: 1.20.1-2 The MATE desktop environment visual editor Pluma crashes whenever I scroll (press either the mousewheel up or down button) while the mouse cursor is hovering over one of Pluma's tabs. It doesn't seem to

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

2018-05-14 Thread C. Masloch
Package: pluma Version: 1.20.1-2 The MATE desktop environment visual editor Pluma crashes whenever I scroll (press either the mousewheel up or down button) while the mouse cursor is hovering over one of Pluma's tabs. It doesn't seem to matter how many tabs are open. If I start Pluma from a