Il giorno dom, 12/04/2020 alle 18.12 +0200, Maurizio Quadrio ha scritto: > > [...] > if BENCHMARK: t = time.clock() > AttributeError: module 'time' has no attribute 'clock'
This (and the other AttributeError that followed) should be fixed by https://gitlab.gnome.org/GNOME/gedit-latex/-/commit/0cf04556eeb3f35084051d5ec98c345432a838fe ... but you might need to also apply https://gitlab.gnome.org/GNOME/gedit-latex/-/commit/959755c21d9909dafdd639455a1e621063b9c633 Then the plugin should work again. I plan to create a release and the new Debian package in the next days. Pietro
