Thanks Jakub, I just prepared and pushed to the git repo 3.8.0-2, which fixes this bug.¹
(I'm just waiting a couple of days for any reaction to #770153 before uploading) Pietro ¹ http://anonscm.debian.org/cgit/collab-maint/gedit-latex.git/log/ -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org