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

> 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. Regards

Bug#898928: halibut: crashes when generating chm or html (with a non-resolving cross-reference)

Package: halibut Version: 1.2-2 (I didn't find a bug tracker for Halibut upstream, so I'm reporting this here and I put Simon Tatham / you into the CC.) A simple test file, in two variants, causes a segmentation fault either when outputting --chm (in both variants), or when outputting --html (onl

Bug#898923: halibut: doesn't properly handle file starting with an empty line

Package: halibut Version: 1.2-2 (I didn't find a bug tracker for Halibut upstream, so I'm reporting this here and I put Simon Tatham / you into the CC.) A simple test file fails to properly parse a \cfg command as the first non-empty line of a file, if the first line is empty. === ~/test/halibug

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

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 th

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

> 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, yel

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

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 clear

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

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 termina