Sorry, forget my last comment, only now I read the entire gitlab.gnome.org bug, and produced a simple patch: https://gitlab.gnome.org/GNOME/gedit-latex/-/commit/2b4cbb4421b0f4e831550b7bc6a02931314e4133
It works with gedit 3.30.2, so if any of you could test it with gedit 3.36.1-1 (even just editing that single file by hand), then I'd be happy to merge the fix upstream and then update the Debian package. Otherwise, I'll try to get a sid install running and test myself as soon as possible. Pietro Il giorno sab, 11/04/2020 alle 19.28 +0200, Maurizio Quadrio ha scritto: > 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 > >
