Dear Pietro, thanks for your efforts. I fear the issue is related to both gedit-latex (upstream) *and* gedit. I also have a feeling that the trace I sent before was there since quite some time, whereas gedit-latex (which I use daily) broke a couple weeks ago.
Anyway, I'll stay tuned and see what happens... > Thanks Maurizio. > > I still couldn't try to reproduce, but this reminds of > https://gitlab.gnome.org/GNOME/gedit/issues/225 > > ... which would suggest it is a problem of gedit, not gedit-latex. > > Indeed, a gedit "Document.get_location()" should return a valid > Gio.File except if the file is not saved: > https://wiki.gnome.org/Apps/Gedit/PythonPluginHowTo#Gedit.Document > - which does not seem to be your case. > > Pietro >