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... -- Glenn English
