[ErroneousBosh]

Okay, can't say I've ever used the Gnome file manager, and while I have used gedit I haven't done so for many years and had kind of forgotten it was there.