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 [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
