Thanks Maurizio! Il giorno dom, 12/04/2020 alle 18.12 +0200, Maurizio Quadrio ha scritto: > > Mmmhhh... that's strange. Are you sure you only edited the line > > starting with "location = self.text_buffer"?! > [...] > AttributeError: 'LaTeXEditor' object has no attribute > '_document_is_master'
OK, seems to be https://gitlab.gnome.org/GNOME/gedit-latex/-/issues/2 Will try to fix this too. Pietro