In reply to @ColinTGraham

@ColinTGraham I've been using texmaker recently. It's not very good as an editor, but it does do synctex properly

0 favourites 0 retweets

View this tweet on twitter.com

This tweet as JSON