On 2018-09-17, Glenn English <ghe2...@gmail.com> wrote: > On Mon, Sep 17, 2018 at 1:20 PM Boyan Penkov <boyan.pen...@gmail.com> wrote: > >> > > Here, I'm pretty sure, it's Evince. >> > >> > I would stab in the dark and guess 'gedit-plugins,' which pulls in >> >> FWIW, I don't have this package installed. > > Nor do I. No gedit anywhere. It's Evince -- turned things off > yesterday and there's no crud on any emulated terminal this morning... >
I was looking for your bug report and found this: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=908964 https://gitlab.gnome.org/GNOME/evince/issues/983 -- “An oak is a tree. A rose is a flower. A deer is an animal. A sparrow is a bird. Russia is our fatherland. Death is inevitable.” Russian school book.