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

[Mike Gabriel <mike.gabriel@das-netzwerkteam.de>]

Hi,

On  Di 15 Mai 2018 12:50:38 CEST, C. Masloch wrote:

> On at 2018-05-15 07:44 +0000, 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.

> [...]

Thanks for all the info. I will forward this to upstream.

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: pgp4X2vr5AAJh.pgp
Description: Digitale PGP-Signatur